Skip to content

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

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

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

Triggered via pull request October 23, 2025 14:58
@staabmstaabm
synchronize #4441
staabm:narr
Status Success
Total duration 17s
Artifacts

spelling.yml

on: pull_request
Check for typos
8s
Check for typos
Fit to window
Zoom out
Zoom in