Skip to content

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

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

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

Triggered via pull request October 15, 2025 18:21
@staabmstaabm
synchronize #4441
staabm:narr
Status Success
Total duration 12s
Artifacts

spelling.yml

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