Skip to content
Close issues from merged PRs

Narrow to decimal-int-string/non-decimal-int-string from (string) (int) $x === $x comparisons #1038

Sign in to view logs

Narrow to decimal-int-string/non-decimal-int-string from (string) (int) $x === $x comparisons

Narrow to decimal-int-string/non-decimal-int-string from (string) (int) $x === $x comparisons #1038

Triggered via pull request October 14, 2026 12:45
@VincentLangletVincentLanglet
closed #5805
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