summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohnny Willemsen <jwillemsen@remedy.nl>2021-05-05 10:22:24 +0200
committerJohnny Willemsen <jwillemsen@remedy.nl>2021-05-05 10:22:24 +0200
commit0a914b51f76028d91b3738c51f860f3dd00097d1 (patch)
treeb8798f349ac6ca91ffb8c25e5678a2d2701289e3 /.github
parent26e630509df6d5f17a769c4774d57c5ba551d0ee (diff)
downloadMPC-0a914b51f76028d91b3738c51f860f3dd00097d1.tar.gz
Make use of concurrency cancel-in-progress
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/cancel_previous_runs.yml18
-rw-r--r--.github/workflows/fuzz.yml4
-rw-r--r--.github/workflows/linux.yml4
-rw-r--r--.github/workflows/macosx.yml4
-rw-r--r--.github/workflows/windows.yml4
5 files changed, 16 insertions, 18 deletions
diff --git a/.github/workflows/cancel_previous_runs.yml b/.github/workflows/cancel_previous_runs.yml
deleted file mode 100644
index 5ea74994..00000000
--- a/.github/workflows/cancel_previous_runs.yml
+++ /dev/null
@@ -1,18 +0,0 @@
-name: cancel
-
-on:
- workflow_run:
- workflows: ['fuzz', 'linux', 'macosx', 'windows']
- types: ['requested']
-
-jobs:
- cancel-duplicate-workflow-runs:
- name: Cancel Duplicate Workflow Runs
- runs-on: ubuntu-20.04
- steps:
- - uses: potiuk/cancel-workflow-runs@v4_7
- name: Cancel Duplicate Workflow Runs
- with:
- cancelMode: allDuplicates
- token: ${{ secrets.GITHUB_TOKEN }}
- sourceRunId: ${{ github.event.workflow_run.id }}
diff --git a/.github/workflows/fuzz.yml b/.github/workflows/fuzz.yml
index 411ed009..82dd9d80 100644
--- a/.github/workflows/fuzz.yml
+++ b/.github/workflows/fuzz.yml
@@ -7,6 +7,10 @@ on:
- cron: '0 1 * * SUN'
workflow_dispatch:
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ cancel-in-progress: true
+
env:
DOC_ROOT: ${{ github.workspace }}/ACE
ACE_ROOT: ${{ github.workspace }}/ACE/ACE
diff --git a/.github/workflows/linux.yml b/.github/workflows/linux.yml
index ea1a54b0..412382a9 100644
--- a/.github/workflows/linux.yml
+++ b/.github/workflows/linux.yml
@@ -7,6 +7,10 @@ on:
- cron: '0 1 * * SUN'
workflow_dispatch:
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ cancel-in-progress: true
+
jobs:
build:
strategy:
diff --git a/.github/workflows/macosx.yml b/.github/workflows/macosx.yml
index 7cf62451..1da403a9 100644
--- a/.github/workflows/macosx.yml
+++ b/.github/workflows/macosx.yml
@@ -7,6 +7,10 @@ on:
- cron: '0 1 * * SUN'
workflow_dispatch:
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ cancel-in-progress: true
+
jobs:
build:
strategy:
diff --git a/.github/workflows/windows.yml b/.github/workflows/windows.yml
index 563d5307..6384e004 100644
--- a/.github/workflows/windows.yml
+++ b/.github/workflows/windows.yml
@@ -7,6 +7,10 @@ on:
- cron: '0 1 * * SUN'
workflow_dispatch:
+concurrency:
+ group: ${{ github.workflow }}-${{ github.ref }}
+ cancel-in-progress: true
+
jobs:
build:
strategy: