Merge pull request #503 from m-a-d-n-e-s-s/pr-tree-operations #1477
Job | Run time |
---|---|
18m 17s | |
4m 1s | |
3m 17s | |
47m 6s | |
2m 27s | |
3m 34s | |
32m 22s | |
2m 25s | |
4m 22s | |
55m 54s | |
3m 7s | |
2m 43s | |
2h 59m 35s |
Job | Run time |
---|---|
18m 17s | |
4m 1s | |
3m 17s | |
47m 6s | |
2m 27s | |
3m 34s | |
32m 22s | |
2m 25s | |
4m 22s | |
55m 54s | |
3m 7s | |
2m 43s | |
2h 59m 35s |