Skip to content
Test All Dafny Files

094, 098, 115 (#33) #6

Sign in to view logs

094, 098, 115 (#33)

094, 098, 115 (#33) #6

Triggered via push August 26, 2024 12:37
@WeetHetWeetHet
pushed 81c15b5
main
Status Success
Total duration 4m 30s
Artifacts –

test-dafny-all.yml

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