Merge pull request #1330 from verus-lang/rustc-1.82.0 #6288
| Job | Run time |
|---|---|
| 1m 17s | |
| 11m 14s | |
| 6m 48s | |
| 12m 43s | |
| 8m 59s | |
| 3m 47s | |
| 2m 35s | |
| 2m 53s | |
| 2m 59s | |
| 2m 34s | |
| 14s | |
| 56m 3s |
| Job | Run time |
|---|---|
| 1m 17s | |
| 11m 14s | |
| 6m 48s | |
| 12m 43s | |
| 8m 59s | |
| 3m 47s | |
| 2m 35s | |
| 2m 53s | |
| 2m 59s | |
| 2m 34s | |
| 14s | |
| 56m 3s |