Skip to content

More precise array_keys return type #9882

More precise array_keys return type

More precise array_keys return type #9882

Job Run time
14s
59s
56s
58s
56s
56s
56s
56s
55s
56s
1m 0s
1m 0s
1m 0s
59s
58s
59s
59s
58s
59s
56s
51s
53s
53s
53s
48s
52s
52s
52s
55s
55s
55s
55s
55s
54s
54s
54s
53s
52s
43s
50s
49s
48s
47s
51s
47s
48s
52s
50s
52s
51s
52s
49s
48s
49s
47s
49s
44s
43s
44s
44s
43s
42s
42s
43s
48s
47s
46s
46s
46s
45s
44s
45s
47s
42s
39s
39s
38s
38s
38s
38s
37s
37s
41s
41s
40s
41s
40s
40s
39s
40s
40s
38s
23s
34s
33s
33s
33s
31s
33s
22s
35s
37s
36s
37s
34s
35s
35s
34s
22s
31s
17s
29s
16s
15s
17s
15s
14s
15s
31s
19s
18s
30s
30s
30s
31s
28s
14s
16s
13s
11s
12s
9s
11s
10s
11s
10s
14s
15s
15s
14s
13s
13s
14s
12s
12s
1s
1h 33m 46s