Merge remote-tracking branch 'origin/main' into lazy-structs #2224
Job | Run time |
---|---|
1m 28s | |
4m 14s | |
1m 3s | |
2m 3s | |
3m 55s | |
4m 42s | |
2m 38s | |
4m 29s | |
1m 49s | |
3m 4s | |
1m 40s | |
3m 45s | |
34m 50s |
Job | Run time |
---|---|
1m 28s | |
4m 14s | |
1m 3s | |
2m 3s | |
3m 55s | |
4m 42s | |
2m 38s | |
4m 29s | |
1m 49s | |
3m 4s | |
1m 40s | |
3m 45s | |
34m 50s |