Skip to content
Merge bot PR

non-empty-array might be empty after array_keys() with filter #3484

Sign in to view logs

non-empty-array might be empty after array_keys() with filter

non-empty-array might be empty after array_keys() with filter #3484

Triggered via pull request September 7, 2025 18:37
@staabmstaabm
opened #4295
staabm:bug13377
Status Success
Total duration 23s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
19s
Automerge PRs
Fit to window
Zoom out
Zoom in