chore(deps): bump dafny-lang/setup-dafny-action from 1.7.2 to 1.8.0 in /.github/workflows #263
| Job | Run time |
|---|---|
| 6s | |
| 5s | |
| 8m 44s | |
| 22m 17s | |
| 8m 29s | |
| 2m 9s | |
| 2m 27s | |
| 4m 45s | |
| 3m 50s | |
| 1m 52s | |
| 8m 29s | |
| 14m 2s | |
| 7m 51s | |
| 12m 29s | |
| 9m 37s | |
| 8m 55s | |
| 8m 48s | |
| 12m 35s | |
| 8m 59s | |
| 10m 17s | |
| 8m 3s | |
| 4m 35s | |
| 8m 0s | |
| 2m 38s | |
| 3m 48s | |
| 23m 50s | |
| 4m 33s | |
| 3h 32m 13s |