Skip to content

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

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

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

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

static-analysis.yml

on: pull_request
Generate baseline
1m 52s
Generate baseline
Generate PHP baseline
1m 54s
Generate PHP baseline
Matrix: PHPStan with result cache
Matrix: PHPStan
Fit to window
Zoom out
Zoom in