Skip to content
Test All Dafny Files

Name files for better sorting #14

Sign in to view logs

Name files for better sorting

Name files for better sorting #14

Triggered via push August 1, 2024 18:04
@WeetHetWeetHet
pushed 64b7cb7
file-rename
Status Failure
Total duration 39s
Artifacts –

test-dafny.yml

on: push
test
26s
test
Fit to window
Zoom out
Zoom in

Annotations

1 error
test
Process completed with exit code 1.