Skip to content
Test All Dafny Files

033, 088 (#25) #69

Sign in to view logs

033, 088 (#25)

033, 088 (#25) #69

Triggered via push August 19, 2024 13:48
@WeetHetWeetHet
pushed 5035c18
main
Status Success
Total duration 3m 47s
Artifacts –

test-dafny.yml

on: push
test
3m 40s
test
Fit to window
Zoom out
Zoom in