Skip to content

DEV: git merge smart_holder after PR #5257 #289

DEV: git merge smart_holder after PR #5257

DEV: git merge smart_holder after PR #5257 #289

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