Skip to content
Test All Dafny Files

Remove predicates, ensure each file has at least one method #23

Sign in to view logs

Remove predicates, ensure each file has at least one method

Remove predicates, ensure each file has at least one method #23

Triggered via push December 16, 2024 12:32
@gt22gt22
pushed 9f59960
main
Status Failure
Total duration 4m 56s
Artifacts –

test-dafny-all.yml

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

Annotations

1 error
test
Process completed with exit code 1.