Skip to content
Close issues from merged PRs

Infer non-decimal-int-string from constant parts that cannot occur in a decimal-int-string #1032

Sign in to view logs

Infer non-decimal-int-string from constant parts that cannot occur in a decimal-int-string

Infer non-decimal-int-string from constant parts that cannot occur in a decimal-int-string #1032

Triggered via pull request October 14, 2026 12:44
@VincentLangletVincentLanglet
closed #6187
Status Skipped
Total duration 2s
Artifacts –

close-issues-on-merge.yml

on: pull_request_target
Close linked issues
Close linked issues
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Workflow execution policy warning (evaluate mode): .github/workflows/close-issues-on-merge.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