Skip to content
Cross-repo Issue Closer

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set #6707

Sign in to view logs

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set

fix(pm): check-widening-tells T2 asks which construct encloses the element before asserting a closed set #6707

Triggered via pull request September 21, 2026 08:13
@os-steveos-steve
closed #19438
Status Skipped
Total duration 2s
Artifacts –

cross-repo-issue-closer.yml

on: pull_request_target
Close issues referenced in other repositories
Close issues referenced in other repositories
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Workflow execution policy warning (evaluate mode): .github/workflows/cross-repo-issue-closer.yml#L1
On November 2, 2026, GitHub will restrict `pull_request_target` on public repositories by default. To continue allowing the event trigger, configure an Actions policy. Learn more: https://gh.io/securely-using-pull_request_target#default-policy-for-pull_request_target