Skip to content

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

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

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

Triggered via pull request October 15, 2025 08:12
@staabmstaabm
ready_for_review #4440
Status Success
Total duration 7s
Artifacts

pr-marked-as-ready.yml

on: pull_request_target
Comment on pull request
3s
Comment on pull request
Fit to window
Zoom out
Zoom in