Skip to content
Test New Dafny Files

Check all files contain an // impl-start comment #18

Sign in to view logs

Check all files contain an // impl-start comment

Check all files contain an // impl-start comment #18

Triggered via pull request September 4, 2024 08:29
@WeetHetWeetHet
opened #41
check-marks
Status Success
Total duration 48s
Artifacts –

test-dafny-new.yml

on: pull_request
test-changed
38s
test-changed
Fit to window
Zoom out
Zoom in