Skip to content

DEV: git merge smart_holder after PR #5257 #285

DEV: git merge smart_holder after PR #5257

DEV: git merge smart_holder after PR #5257 #285

Job Run time
5m 49s
5m 46s
6m 16s
5m 5s
8m 59s
7m 29s
7m 28s
6m 41s
6m 26s
54s
7m 2s
6m 32s
6m 43s
6m 29s
15m 10s
7m 1s
6m 52s
7m 13s
7m 10s
7m 6s
5m 4s
8m 1s
10m 5s
6m 52s
7m 6s
23m 30s
23m 20s
18m 41s
22m 1s
7m 38s
18m 35s
18m 59s
9m 18s
7m 55s
18m 39s
8m 34s
8m 2s
8m 27s
8m 45s
25m 7s
9m 24s
23m 24s
8m 1s
21m 37s
18m 57s
19m 11s
19m 48s
19m 17s
31m 3s
27m 27s
23m 57s
24m 41s
19m 34s
21m 13s
22m 36s
25m 31s
34m 35s
22m 8s
24m 18s
20m 38s
16m 33s
14h 16m 43s