Skip to content

CI: Fix cancellation workflow API flags, permissions, and filters #7228

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
arpittkhandelwal wants to merge 1 commit into
base: master
Choose a base branch
from
+6 −2
Open

CI: Fix cancellation workflow API flags, permissions, and filters #7228

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions .github/workflows/cancel-workflows.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -52,10 +52,14 @@ jobs:
PR_NUMBER: ${{ steps.context.outputs.pr_number }}
CURRENT_RUN_ID: ${{ github.run_id }}
run: |
set -euo pipefail
echo "Cancelling runs for PR #$PR_NUMBER..."

# Get all runs for the PR that are NOT completed, excluding this current run
RUN_IDS=$(gh run list --pr "$PR_NUMBER" --limit 200 --json databaseId,status --jq '.[] | select(.status != "completed" and .databaseId != (env.CURRENT_RUN_ID | tonumber)) | .databaseId')
# Fetch recent runs and filter by the specific PR number
# This is safer than filtering by branch name which can be non-unique (e.g. 'patch-1')
# any(.pull_requests[]; .number == ...) ensures we match the correct PR
RUN_IDS=$(gh api "/repos/${{ github.repository }}/actions/runs?per_page=100" \
--jq ".workflow_runs[] | select(.status != \"completed\" and .id != (env.CURRENT_RUN_ID | tonumber) and any(.pull_requests[]; .number == ($PR_NUMBER | tonumber))) | .id")

if [ -z "$RUN_IDS" ]; then
echo "No active runs found to cancel."
Expand Down
Loading