Skip to content

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

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

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

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