Test All Dafny Files

Review files 000 and 001 (#42) #17

Sign in to view logs

Summary
Jobs
- test
Run details
- Usage
- Workflow file

Triggered via push September 30, 2024 09:14

WeetHet

main

Status Success

Total duration 5m 7s

Artifacts –

test-dafny-all.yml

on: push