diff options
author | Johnny Willemsen <jwillemsen@remedy.nl> | 2021-03-15 15:29:53 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-03-15 15:29:53 +0100 |
commit | 7d5b465c5009b7efc82266aeb5426261350888ed (patch) | |
tree | 1698f6b693af3472dc4c2cbc7253aa63dfc40ba4 /.github | |
parent | 9e2b3cf216faf383a9865d5f4f30949bfe351360 (diff) | |
parent | d468978f01c0ec594af75a66a8508adc50ed4dcf (diff) | |
download | MPC-7d5b465c5009b7efc82266aeb5426261350888ed.tar.gz |
Merge pull request #129 from jwillemsen/jwi-cancelprevious
Add github action to cancel unnecessary previous run
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/cancel_previous_runs.yml | 18 |
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..5ea74994 --- /dev/null +++ b/.github/workflows/cancel_previous_runs.yml @@ -0,0 +1,18 @@ +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 }} |