Merge pull request #7370 from dalg24/trim_unused_tool_argument_symbol #298
Job | Run time |
---|---|
26m 1s | |
33m 30s | |
26m 39s | |
36m 5s | |
27m 1s | |
35m 47s | |
33m 25s | |
35m 45s | |
44m 43s | |
54m 18s | |
57m 11s | |
38m 19s | |
1h 9m 7s | |
48m 57s | |
36m 57s | |
10h 3m 45s |
Job | Run time |
---|---|
26m 1s | |
33m 30s | |
26m 39s | |
36m 5s | |
27m 1s | |
35m 47s | |
33m 25s | |
35m 45s | |
44m 43s | |
54m 18s | |
57m 11s | |
38m 19s | |
1h 9m 7s | |
48m 57s | |
36m 57s | |
10h 3m 45s |