Skip to content
Test All Dafny Files

Fix 2 #28

Sign in to view logs

Fix 2

Fix 2 #28

Triggered via push February 13, 2025 12:01
@gt22gt22
pushed de4f471
main
Status Success
Total duration 5m 54s
Artifacts –

test-dafny-all.yml

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

Annotations

1 warning
test
The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101