Skip to content
Test All Dafny Files

Add text descriptions of the tasks (#54) #22

Sign in to view logs

Add text descriptions of the tasks (#54)

Add text descriptions of the tasks (#54) #22

Triggered via push October 16, 2024 10:20
@WeetHetWeetHet
pushed 0887bd1
main
Status Success
Total duration 5m 17s
Artifacts –

test-dafny-all.yml

on: push
test
5m 8s
test
Fit to window
Zoom out
Zoom in