Skip to content

Commit 9821436

Browse files
fix(ci): prevent workflow cancellation due to multiple concurrent merges
1 parent a16b2ce commit 9821436

12 files changed

+25
-13
lines changed

.github/workflows/blockifier_ci.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,8 +38,9 @@ env:
3838
RUSTFLAGS: "-D warnings -C link-arg=-fuse-ld=lld"
3939

4040
# On PR events, cancel existing CI runs on this same PR for this workflow.
41+
# Also, create different concurrency groups for different pushed commits, on push events.
4142
concurrency:
42-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
43+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
4344
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
4445

4546
jobs:

.github/workflows/blockifier_compiled_cairo.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -19,8 +19,9 @@ env:
1919
RUSTFLAGS: "-D warnings -C link-arg=-fuse-ld=lld"
2020

2121
# On PR events, cancel existing CI runs on this same PR for this workflow.
22+
# Also, create different concurrency groups for different pushed commits, on push events.
2223
concurrency:
23-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
24+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
2425
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
2526

2627
jobs:

.github/workflows/blockifier_reexecution_ci.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,8 +23,9 @@ env:
2323
RUSTFLAGS: "-D warnings -C link-arg=-fuse-ld=lld"
2424

2525
# On PR events, cancel existing CI runs on this same PR for this workflow.
26+
# Also, create different concurrency groups for different pushed commits, on push events.
2627
concurrency:
27-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
28+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
2829
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
2930

3031
jobs:

.github/workflows/committer_ci.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,9 @@ env:
2222
RUSTFLAGS: "-D warnings -C link-arg=-fuse-ld=lld"
2323

2424
# On PR events, cancel existing CI runs on this same PR for this workflow.
25+
# Also, create different concurrency groups for different pushed commits, on push events.
2526
concurrency:
26-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
27+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
2728
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
2829

2930
jobs:

.github/workflows/committer_cli_push.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,8 +38,9 @@ env:
3838
RUSTFLAGS: "-D warnings -C link-arg=-fuse-ld=lld"
3939

4040
# On PR events, cancel existing CI runs on this same PR for this workflow.
41+
# Also, create different concurrency groups for different pushed commits, on push events.
4142
concurrency:
42-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
43+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
4344
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
4445

4546
jobs:

.github/workflows/main.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,8 +23,9 @@ env:
2323
EXTRA_RUST_TOOLCHAINS: nightly-2024-04-29
2424

2525
# On PR events, cancel existing CI runs on this same PR for this workflow.
26+
# Also, create different concurrency groups for different pushed commits, on push events.
2627
concurrency:
27-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
28+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
2829
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
2930

3031
jobs:

.github/workflows/main_pr.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,9 @@ env:
1313
RUSTFLAGS: "-D warnings -C link-arg=-fuse-ld=lld"
1414

1515
# On PR events, cancel existing CI runs on this same PR for this workflow.
16+
# Also, create different concurrency groups for different pushed commits, on push events.
1617
concurrency:
17-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
18+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
1819
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
1920

2021
jobs:

.github/workflows/merge_paths_ci.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,8 +17,9 @@ on:
1717
- 'scripts/merge_status.py'
1818

1919
# On PR events, cancel existing CI runs on this same PR for this workflow.
20+
# Also, create different concurrency groups for different pushed commits, on push events.
2021
concurrency:
21-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
22+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
2223
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
2324

2425
jobs:

.github/workflows/papyrus_ci.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -26,8 +26,9 @@ env:
2626
RUSTFLAGS: "-D warnings -C link-arg=-fuse-ld=lld"
2727

2828
# On PR events, cancel existing CI runs on this same PR for this workflow.
29+
# Also, create different concurrency groups for different pushed commits, on push events.
2930
concurrency:
30-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
31+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
3132
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
3233

3334
jobs:

.github/workflows/papyrus_docker-publish.yml

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,8 +24,9 @@ on:
2424
- 'deployments/images/papyrus/Dockerfile'
2525

2626
# On PR events, cancel existing CI runs on this same PR for this workflow.
27+
# Also, create different concurrency groups for different pushed commits, on push events.
2728
concurrency:
28-
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.job }}
29+
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.sha }}
2930
cancel-in-progress: ${{ github.event_name == 'pull_request' }}
3031

3132
env:

0 commit comments

Comments
 (0)