Close issues from merged PRs

Faster Ternary analysis #87

Sign in to view logs

Triggered via pull request February 21, 2026 16:57

staabm

closed #5015

Status Success

Total duration 7s

Artifacts –

close-issues-on-merge.yml

on: pull_request_target

Close linked issues