CI

Merge pull request #22 from mit-pdos/rename-kt #117

Sign in to view logs

Triggered via push September 5, 2024 02:08

sanjit-bhat

main

Status Success

Total duration 1m 9s

Artifacts –

ci.yml

on: push

Matrix: go