Skip to content

Fix array_key_exists narrows $key too much #3340

Fix array_key_exists narrows $key too much

Fix array_key_exists narrows $key too much #3340

Triggered via pull request July 23, 2025 14:30
Status Success
Total duration 21s
Artifacts

merge-bot-pr.yml

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