Skip to content

DEV: git merge smart_holder after PR #5257 #291

DEV: git merge smart_holder after PR #5257

DEV: git merge smart_holder after PR #5257 #291

Job Run time
5m 43s
6m 9s
6m 15s
4m 59s
7m 42s
7m 40s
7m 4s
6m 53s
8m 49s
6m 41s
6m 37s
6m 58s
6m 40s
6m 57s
53s
6m 38s
16m 32s
6m 35s
5m 12s
7m 12s
7m 8s
11m 19s
6m 56s
7m 57s
24m 1s
7m 17s
24m 23s
18m 50s
19m 14s
22m 11s
19m 44s
8m 3s
7m 33s
18m 58s
8m 8s
23m 15s
7m 52s
7m 54s
9m 30s
23m 36s
9m 15s
22m 5s
9m 10s
7m 52s
19m 55s
19m 59s
19m 49s
21m 8s
30m 52s
29m 12s
24m 37s
20m 32s
22m 48s
22m 24s
26m 2s
24m 0s
29m 51s
30m 22s
19m 43s
20m 24s
17m 4s
14h 29m 2s