Skip to content

Don't loose known offset-types in array_merge() #22950

Don't loose known offset-types in array_merge()

Don't loose known offset-types in array_merge() #22950

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