summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJohnny Willemsen <jwillemsen@remedy.nl>2021-03-15 13:29:54 +0100
committerJohnny Willemsen <jwillemsen@remedy.nl>2021-03-15 13:29:54 +0100
commitc08ace40fc7dc3ea795bb169c8189504d2e9c0de (patch)
treefbc8c9e54b5c899f6df2bcb1f9b45a45cb48a675 /.github
parent97b25a532a24f2a1161df95f562d518783070394 (diff)
downloadMPC-c08ace40fc7dc3ea795bb169c8189504d2e9c0de.tar.gz
Added github action to cancel any unnessary previous run
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/cancel_previous_runs.yml18
1 files changed, 18 insertions, 0 deletions
diff --git a/.github/workflows/cancel_previous_runs.yml b/.github/workflows/cancel_previous_runs.yml
new file mode 100644
index 00000000..de2463f6
--- /dev/null
+++ b/.github/workflows/cancel_previous_runs.yml
@@ -0,0 +1,18 @@
+name: cancel
+
+on:
+ workflow_run:
+ workflows: ['face', '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 }}