Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
5 changes: 3 additions & 2 deletions .github/workflows/benchmark.yml
Original file line number Diff line number Diff line change
Expand Up @@ -17,9 +17,10 @@ on:
- cron: "0 6 * * 1" # weekly, Monday 06:00 UTC
workflow_dispatch:

# Cancel superseded runs only for pull requests; runs on main are never cancelled.
# Cancel superseded runs only for pull requests. Other runs are grouped per commit
# so a newer queued run on main cannot replace an older commit's queued run.
concurrency:
group: benchmark-${{ github.event_name }}-${{ github.ref }}
group: benchmark-${{ github.event_name }}-${{ github.event_name == 'pull_request' && github.ref || github.sha }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}

permissions:
Expand Down
10 changes: 6 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -8,11 +8,13 @@ on:
- cron: "0 3 * * *"
workflow_dispatch:

# Only a newer push to the same PR cancels an in-progress run. On main, each
# merge, the nightly schedule and manual dispatches get their own group and are
# never cancelled, so every merged commit keeps a complete result.
# Only a newer push to the same PR cancels its superseded run. Every other run
# (each merge to main, the nightly schedule, manual dispatches) is grouped by
# commit: a group keeps at most one queued run and a newer queued run replaces
# it even without cancel-in-progress, so a per-ref group still dropped the CI of
# back-to-back merges. Per-commit groups keep a complete result on every commit.
concurrency:
group: ci-${{ github.event_name }}-${{ github.ref }}
group: ci-${{ github.event_name }}-${{ github.event_name == 'pull_request' && github.ref || github.sha }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}

# Least privilege by default; jobs that need more (nightly alert issue,
Expand Down
6 changes: 4 additions & 2 deletions .github/workflows/notebooks.yml
Original file line number Diff line number Diff line change
Expand Up @@ -16,9 +16,11 @@ on:
- ".github/workflows/notebooks.yml"
workflow_dispatch:

# Cancel superseded runs only for pull requests; runs on main are grouped per
# commit so back-to-back merges each keep their notebook smoke result.
concurrency:
group: notebooks-${{ github.ref }}
cancel-in-progress: true
group: notebooks-${{ github.event_name }}-${{ github.event_name == 'pull_request' && github.ref || github.sha }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}

permissions:
contents: read
Expand Down
6 changes: 3 additions & 3 deletions .github/workflows/perf-regression.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,10 +29,10 @@ on:
type: boolean
default: false

# Cancel superseded runs only for pull requests; scheduled and manual runs on
# main never cancel each other.
# Cancel superseded runs only for pull requests. Scheduled and manual runs are
# grouped per commit so they never cancel or replace each other's queued runs.
concurrency:
group: perf-regression-${{ github.event_name }}-${{ github.ref }}
group: perf-regression-${{ github.event_name }}-${{ github.event_name == 'pull_request' && github.ref || github.sha }}
cancel-in-progress: ${{ github.event_name == 'pull_request' }}

permissions:
Expand Down
Loading