Skip to content

infer non-empty-list/array after isset($arr[$i]) #23236

infer non-empty-list/array after isset($arr[$i])

infer non-empty-list/array after isset($arr[$i]) #23236

Job Run time
2m 36s
50s
2m 20s
3m 50s
36s
4m 48s
2m 12s
4m 9s
2m 23s
2m 18s
4m 16s
2m 21s
4m 37s
2m 18s
4m 3s
2m 10s
4m 42s
1m 52s
1m 41s
1m 30s
1m 39s
1m 44s
1m 42s
1m 38s
1m 49s
1m 56s
1m 36s
1h 7m 36s