Merge pull request #1522 from dgelessus/thread_names #563
Job | Run time |
---|---|
7m 48s | |
1s | |
7m 8s | |
22m 1s | |
14m 15s | |
41m 1s | |
16m 45s | |
27m 16s | |
26m 12s | |
27m 37s | |
27m 35s | |
0s | |
17m 33s | |
23m 11s | |
23m 43s | |
24m 25s | |
18m 53s | |
5h 25m 24s |
Job | Run time |
---|---|
7m 48s | |
1s | |
7m 8s | |
22m 1s | |
14m 15s | |
41m 1s | |
16m 45s | |
27m 16s | |
26m 12s | |
27m 37s | |
27m 35s | |
0s | |
17m 33s | |
23m 11s | |
23m 43s | |
24m 25s | |
18m 53s | |
5h 25m 24s |