Close issues from merged PRs

Fix #14177: array_key_exists false positive #94

Sign in to view logs

Triggered via pull request February 22, 2026 17:19

closed #5024

Status Skipped

Total duration 2s

Artifacts –

close-issues-on-merge.yml

on: pull_request_target

Close linked issues