Test All Dafny Files

Add tests #32

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Triggered via push February 27, 2025 10:11

gt22

main

Status Success

Total duration 5m 40s

Artifacts –

test-dafny-all.yml

on: push

Annotations

1 warning

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