Skip to content
Test All Dafny Files

041, 045, 046, 135, 136, 138 (#29) #2

Sign in to view logs

041, 045, 046, 135, 136, 138 (#29)

041, 045, 046, 135, 136, 138 (#29) #2

Triggered via push August 22, 2024 10:11
@WeetHetWeetHet
pushed 5920048
main
Status Success
Total duration 4m 13s
Artifacts –

test-dafny-all.yml

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