Skip to content

Commit 5e19120

Browse files
garesFissoreD
authored andcommitted
ci
1 parent 37fd717 commit 5e19120

File tree

2 files changed

+6
-2
lines changed

2 files changed

+6
-2
lines changed

.github/workflows/doc.yml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,9 @@ on:
99
branches: [ master ]
1010
pull_request:
1111
branches: [ master ]
12-
12+
concurrency:
13+
group: ${{ github.workflow }}-${{ github.ref }}
14+
cancel-in-progress: true
1315
jobs:
1416
build:
1517
name: Build doc

.github/workflows/release.yml

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,9 @@ on:
2222
options:
2323
- released
2424
- extra-dev
25-
25+
concurrency:
26+
group: ${{ github.workflow }}-${{ github.ref }}
27+
cancel-in-progress: true
2628
env:
2729
OPAM_SUITE: ${{ inputs.suite }}
2830

0 commit comments

Comments
 (0)