]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Created cancelling workflow. 11643/head
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 28 Jan 2021 14:29:31 +0000 (15:29 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Thu, 28 Jan 2021 15:38:38 +0000 (16:38 +0100)
.github/workflows/cancelling.yml [new file with mode: 0644]
.github/workflows/docker.yml

diff --git a/.github/workflows/cancelling.yml b/.github/workflows/cancelling.yml
new file mode 100644 (file)
index 0000000..ca8ec52
--- /dev/null
@@ -0,0 +1,20 @@
+name: Cancelling
+on:
+  workflow_run:
+    workflows: ['CI']
+    types: ['requested']
+
+jobs:
+  cancel-duplicate-workflow-runs:
+    name: "Cancel duplicate workflow runs"
+    runs-on: ubuntu-latest
+    steps:
+      - uses: potiuk/cancel-workflow-runs@master
+        name: "Cancel duplicate workflow runs"
+        with:
+          cancelMode: duplicates
+          cancelFutureDuplicates: true
+          token: ${{ secrets.GITHUB_TOKEN }}
+          sourceRunId: ${{ github.event.workflow_run.id }}
+          notifyPRCancel: true
+          skipEventTypes: '["push", "schedule"]'
index a78a0191e16724c81a284837d9b737747510e3c3..423cc5ccd9caaa00e0b75002227f745a57db371f 100644 (file)
@@ -7,12 +7,7 @@ on:
 jobs:
   build-master-docker:
     runs-on: ubuntu-latest
-    steps:
-      - name: Cancel Previous Runs
-        uses: styfle/cancel-workflow-action@0.7.0
-        with:
-          access_token: ${{ github.token }}
-          
+    steps:          
       - name: Checkout code
         uses: actions/checkout@v2
 

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.