Skip to content
Test All Dafny Files

Check all files contain an // impl-start comment (#41) #15

Sign in to view logs

Check all files contain an // impl-start comment (#41)

Check all files contain an // impl-start comment (#41) #15

Triggered via push September 4, 2024 08:31
@WeetHetWeetHet
pushed 1f5bf94
main
Status Success
Total duration 5m 25s
Artifacts –

test-dafny-all.yml

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