Skip to content

Commit

Permalink
infra: remove concurrency configuration for diff report action
Browse files Browse the repository at this point in the history
  • Loading branch information
nrmancuso authored and romani committed Nov 28, 2023
1 parent 80e6337 commit 22c0361
Showing 1 changed file with 2 additions and 8 deletions.
10 changes: 2 additions & 8 deletions .github/workflows/diff-report.yml
Original file line number Diff line number Diff line change
Expand Up @@ -27,15 +27,9 @@ permissions:
contents: read
pull-requests: write

# Current behavior for concurrency in GitHub Actions:
# 1) If a Diff-Report workflow is NOT running for this PR, start a new one.
# 2) If a Diff-Report workflow is running for this PR, queue this workflow.
# 3) If a Diff-Report workflow is queued for this PR, cancel it and queue this workflow.
#
# It would be best to always queue a new workflow, but we are limited by
# https://github.com/orgs/community/discussions/12835.
concurrency:
group: ${{ github.workflow }}-${{ github.event.issue.number }}
# run_id is guaranteed to be unique and present
group: ${{ github.run_id }}
cancel-in-progress: false

jobs:
Expand Down

0 comments on commit 22c0361

Please sign in to comment.