CI

Merge pull request #35 from mit-pdos/rename #152

Sign in to view logs

Triggered via push October 18, 2024 22:26

sanjit-bhat

main

Status Success

Total duration 1m 0s

Artifacts –

ci.yml

on: push

Matrix: go