Skip to content

Commit 12037bf

Browse files
committed
Move to ValidatePullRequest
1 parent ce31d3b commit 12037bf

File tree

3 files changed

+9
-17
lines changed

3 files changed

+9
-17
lines changed

.github/workflows/ValidatePullRequest.yml

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -7,6 +7,12 @@ on:
77
branches: [main, "release/**"]
88
merge_group:
99

10+
# Cancels old running job if a new one is triggered (e.g. by a push onto the same branch).
11+
# This will cancel dependent jobs as well, such as dep_rust and dep_fuzzing
12+
concurrency:
13+
group: ${{ github.workflow }}-${{ github.ref }}
14+
cancel-in-progress: true
15+
1016
permissions:
1117
id-token: write
1218
contents: read
@@ -42,6 +48,7 @@ jobs:
4248
secrets: inherit
4349
with:
4450
docs_only: ${{needs.docs-pr.outputs.docs-only}}
51+
4552
fuzzing:
4653
needs:
4754
- docs-pr
@@ -50,6 +57,7 @@ jobs:
5057
max_total_time: 300 # 5 minutes in seconds
5158
docs_only: ${{needs.docs-pr.outputs.docs-only}}
5259
secrets: inherit
60+
5361
spelling:
5462
name: spell check with typos
5563
runs-on: ubuntu-latest

.github/workflows/dep_fuzzing.yml

Lines changed: 1 addition & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,7 @@ on:
1111
description: Skip fuzzing if docs only
1212
required: false
1313
type: string
14-
default: "false"
15-
16-
# Cancels old running job if a new one is triggered (e.g. by a push onto the same branch)
17-
concurrency:
18-
group: ${{ github.workflow }}-${{ github.ref }}
19-
cancel-in-progress: true
14+
default: "false"
2015

2116
permissions:
2217
id-token: write
@@ -27,9 +22,6 @@ jobs:
2722
if: ${{ inputs.docs_only == 'false' }}
2823
runs-on: [ self-hosted, Linux, X64, "1ES.Pool=hld-kvm-amd" ]
2924
steps:
30-
- name: echo concurrency
31-
run: echo ${{ github.workflow }}-${{ github.ref }}
32-
3325
- name: Checkout code
3426
uses: actions/checkout@v4
3527

.github/workflows/dep_rust.yml

Lines changed: 0 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -12,11 +12,6 @@ on:
1212
type: string
1313
default: "false"
1414

15-
# Cancels old running job if a new one is triggered (e.g. by a push onto the same branch)
16-
concurrency:
17-
group: ${{ github.workflow }}-${{ github.ref }}
18-
cancel-in-progress: true
19-
2015
env:
2116
CARGO_TERM_COLOR: always
2217
RUST_BACKTRACE: FULL
@@ -96,9 +91,6 @@ jobs:
9691
steps:
9792
- uses: actions/checkout@v4
9893

99-
- name: echo concurrency
100-
run: echo ${{ github.workflow }}-${{ github.ref }}
101-
10294
- uses: hyperlight-dev/[email protected]
10395
with:
10496
rust-toolchain: "nightly"

0 commit comments

Comments
 (0)