Skip to content

Commit 2f9e800

Browse files
jamieQcodex
andauthored
ci(warden): Cancel superseded PR runs (#212)
Group Warden workflow executions by pull request so a new commit cancels analysis for the previous head. Co-authored-by: Codex <noreply@openai.com>
1 parent ebaf989 commit 2f9e800

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

.github/workflows/warden.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,14 @@
11
name: Warden
22

3+
# Update the concurrency group below if this workflow adds non-PR triggers.
34
on:
45
pull_request:
56
types: [opened, synchronize, reopened]
67

8+
concurrency:
9+
group: ${{ github.workflow }}-pr-${{ github.event.pull_request.number }}
10+
cancel-in-progress: true
11+
712
jobs:
813
warden:
914
if: github.event.pull_request.head.repo.full_name == github.repository

0 commit comments

Comments
 (0)