Merge pull request #1864: Add tree-related types #1735
Job | Run time |
---|---|
32s | |
1m 27s | |
25s | |
1m 14s | |
24s | |
1m 11s | |
22s | |
1m 8s | |
1m 38s | |
28s | |
1m 43s | |
22s | |
24s | |
1m 45s | |
20s | |
1m 39s | |
29s | |
1m 51s | |
20s | |
1m 50s | |
0s | |
0s | |
19m 32s |
Job | Run time |
---|---|
32s | |
1m 27s | |
25s | |
1m 14s | |
24s | |
1m 11s | |
22s | |
1m 8s | |
1m 38s | |
28s | |
1m 43s | |
22s | |
24s | |
1m 45s | |
20s | |
1m 39s | |
29s | |
1m 51s | |
20s | |
1m 50s | |
0s | |
0s | |
19m 32s |