]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Added instruction to cancel previous builds. 11621/head
authorLuca Heltai <luca.heltai@sissa.it>
Mon, 25 Jan 2021 18:49:48 +0000 (19:49 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Mon, 25 Jan 2021 18:49:48 +0000 (19:49 +0100)
.github/workflows/docker.yml

index d0a97cacd377c568bf490e905d1d896ef2e2edc5..a78a0191e16724c81a284837d9b737747510e3c3 100644 (file)
@@ -8,6 +8,11 @@ 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 }}
+          
       - 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.