Skip to content

infer non-empty-list/array after array_key_exists($i, $arr) #23216

infer non-empty-list/array after array_key_exists($i, $arr)

infer non-empty-list/array after array_key_exists($i, $arr) #23216

Job Run time
56s
2m 21s
2m 14s
2m 1s
33s
4m 26s
4m 19s
3m 34s
2m 18s
2m 27s
4m 41s
4m 0s
2m 25s
2m 25s
2m 8s
4m 31s
4m 39s
1m 44s
1m 33s
1m 32s
1m 43s
1m 37s
1m 45s
1m 42s
1m 52s
1m 39s
1m 42s
1h 6m 47s