Chore: Dafny to Rust refactorings #18527
Job | Run time |
---|---|
5s | |
3m 46s | |
1s | |
1s | |
21m 3s | |
22m 11s | |
21m 40s | |
21m 37s | |
29m 36s | |
12m 4s | |
18m 10s | |
24m 53s | |
0s | |
2h 55m 7s |
Job | Run time |
---|---|
5s | |
3m 46s | |
1s | |
1s | |
21m 3s | |
22m 11s | |
21m 40s | |
21m 37s | |
29m 36s | |
12m 4s | |
18m 10s | |
24m 53s | |
0s | |
2h 55m 7s |