Skip to content
Test All Dafny Files

Test coherency on everything except 58, 69, 84, 90, 92, 116, 119, 127… #31

Sign in to view logs

Test coherency on everything except 58, 69, 84, 90, 92, 116, 119, 127…

Test coherency on everything except 58, 69, 84, 90, 92, 116, 119, 127… #31

Triggered via push February 27, 2025 10:09
@gt22gt22
pushed e62d331
main
Status Success
Total duration 5m 40s
Artifacts –

test-dafny-all.yml

on: push
test
5m 31s
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