Skip to content

Make sure that the headers are self-contained; fixes #528 #433

Make sure that the headers are self-contained; fixes #528

Make sure that the headers are self-contained; fixes #528 #433

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