Skip to content
Test All Dafny Files

025 (#39) #13

Sign in to view logs

025 (#39)

025 (#39) #13

Triggered via push September 2, 2024 17:14
@WeetHetWeetHet
pushed 696ce28
main
Status Success
Total duration 5m 19s
Artifacts –

test-dafny-all.yml

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