Skip to content

[ci] Only run Miri tests in merge queue #3956

[ci] Only run Miri tests in merge queue

[ci] Only run Miri tests in merge queue #3956

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