Close issues from merged PRs

Faster AcceptsResult, IsSuperTypeOfResult #81

Sign in to view logs

Triggered via pull request February 20, 2026 22:29

staabm

closed #5013

Status Success

Total duration 9s

Artifacts –

close-issues-on-merge.yml

on: pull_request_target

Close linked issues