Fix: Tail-Recursion for the Dafny-to-Rust compiler #18995
Job | Run time |
---|---|
9s | |
3m 28s | |
1s | |
1s | |
22m 19s | |
19m 49s | |
24m 29s | |
21m 43s | |
27m 55s | |
12m 9s | |
17m 9s | |
17m 42s | |
1m 4s | |
2h 47m 58s |
Job | Run time |
---|---|
9s | |
3m 28s | |
1s | |
1s | |
22m 19s | |
19m 49s | |
24m 29s | |
21m 43s | |
27m 55s | |
12m 9s | |
17m 9s | |
17m 42s | |
1m 4s | |
2h 47m 58s |