Skip to content
Close issues from merged PRs

Include the PHP_INT_MIN float overflow in abs() and unary minus of unbounded integer types #1033

Sign in to view logs

Include the PHP_INT_MIN float overflow in abs() and unary minus of unbounded integer types

Include the PHP_INT_MIN float overflow in abs() and unary minus of unbounded integer types #1033

Workflow file for this run

.github/workflows/close-issues-on-merge.yml at 39ba968
# https://help.github.com/en/categories/automating-your-workflow-with-github-actions

Check warning on line 1 in .github/workflows/close-issues-on-merge.yml

View workflow run for this annotation

GitHub Actions / Close issues from merged PRs

Workflow execution policy warning (evaluate mode) 

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
name: Close issues from merged PRs
on:
pull_request_target:
branches:
- "2.1.x"
types:
- closed
permissions:
contents: read
jobs:
close-issues:
name: Close linked issues
if: github.repository_owner == 'phpstan' && github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- name: Harden the runner (Audit all outbound calls)
uses: step-security/harden-runner@bf7454d06d71f1098171f2acdf0cd4708d7b5920 # v2.20.0
with:
egress-policy: audit
- name: "Find and close linked issues"
env:
GH_TOKEN: ${{ secrets.PHPSTAN_BOT_TOKEN }}
run: |
PR_BODY=$(gh pr view ${{ github.event.pull_request.number }} --repo "${{ github.repository }}" --json body --jq '.body')
# Parse "Closes/Fixes https://github.com/phpstan/phpstan/issues/123" and "Closes/Fixes phpstan/phpstan#123" patterns
NUMBERS=$(echo "$PR_BODY" | grep -oiP '(?:closes?|fix(?:es)?)\s+(?:https://github\.com/phpstan/phpstan/issues/|phpstan/phpstan#)[0-9]+' | grep -oP '[0-9]+$' || true)
NUMBERS=$(echo "$NUMBERS" | sort -u)
if [ -z "$NUMBERS" ]; then
echo "No linked issues found in PR body"
exit 0
fi
echo "$NUMBERS" | while read -r NUMBER; do
echo "Closing phpstan/phpstan#${NUMBER}"
gh issue close "$NUMBER" --repo "phpstan/phpstan" --comment "Closed via merging ${{ github.event.pull_request.html_url }}"
done