Merge pull request #5980 from ytmimi/subtree_push_2023_12_12 #2212
Job | Run time |
---|---|
2m 12s | |
1m 37s | |
1m 49s | |
3m 6s | |
2m 44s | |
5m 10s | |
1m 30s | |
1m 41s | |
3m 10s | |
3m 27s | |
5m 17s | |
1m 29s | |
1m 41s | |
1m 53s | |
36m 46s |
Job | Run time |
---|---|
2m 12s | |
1m 37s | |
1m 49s | |
3m 6s | |
2m 44s | |
5m 10s | |
1m 30s | |
1m 41s | |
3m 10s | |
3m 27s | |
5m 17s | |
1m 29s | |
1m 41s | |
1m 53s | |
36m 46s |