Skip to content
Test All Dafny Files

96, 97, 100, 104, 110, 118, 122, 127 #30

Sign in to view logs

96, 97, 100, 104, 110, 118, 122, 127

96, 97, 100, 104, 110, 118, 122, 127 #30

Triggered via push August 9, 2024 11:14
@WeetHetWeetHet
pushed 65577f7
new-tests
Status Success
Total duration 2m 35s
Artifacts –

test-dafny.yml

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