chore(gha): fix workflows triggered by dafny-interop.yml #897
| Job | Run time |
|---|---|
| 11s | |
| 8s | |
| 9m 41s | |
| 9m 25s | |
| 4m 40s | |
| 8m 26s | |
| 6m 10s | |
| 8m 46s | |
| 8m 34s | |
| 3m 10s | |
| 8m 46s | |
| 8m 48s | |
| 12m 5s | |
| 9m 11s | |
| 4m 51s | |
| 13m 12s | |
| 3m 14s | |
| 4m 18s | |
| 9m 52s | |
| 6m 58s | |
| 12m 25s | |
| 23m 36s | |
| 10m 51s | |
| 17m 18s | |
| 26m 55s | |
| 44m 29s | |
| 6m 13s | |
| 6m 30s | |
| 11m 3s | |
| 7m 5s | |
| 8m 53s | |
| 2s | |
| 5h 15m 46s |