fix(deps): update dependency org.dafny:dafnyruntime to v4.8.0 #2522
| Job | Run time |
|---|---|
| 1m 21s | |
| 41s | |
| 1m 15s | |
| 1m 21s | |
| 1m 23s | |
| 1m 36s | |
| 1m 30s | |
| 1m 19s | |
| 2m 10s | |
| 1m 20s | |
| 2m 12s | |
| 16m 8s |
| Job | Run time |
|---|---|
| 1m 21s | |
| 41s | |
| 1m 15s | |
| 1m 21s | |
| 1m 23s | |
| 1m 36s | |
| 1m 30s | |
| 1m 19s | |
| 2m 10s | |
| 1m 20s | |
| 2m 12s | |
| 16m 8s |