Skip to content

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

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

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

Triggered via pull request October 15, 2025 09:19
Status Success
Total duration 11s
Artifacts

spelling.yml

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