]> https://gitweb.dealii.org/ - candi.git/commitdiff
Add concurrency for main.yml 281/head
authorFabian Castelli <fabian.castelli@kit.edu>
Thu, 24 Feb 2022 23:59:21 +0000 (00:59 +0100)
committerFabian Castelli <fabian.castelli@kit.edu>
Thu, 24 Feb 2022 23:59:21 +0000 (00:59 +0100)
.github/workflows/main.yml

index 39bcd08e484cca973f8f67feda7e63e872e2f476..cfbcbd778143aa9cd2967683d798e5d04fde0fa2 100644 (file)
@@ -2,6 +2,10 @@ name: CI
 
 on: [push, pull_request]
 
+concurrency:
+  group: ${{ github.event_name }}-${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: ${{github.event_name == 'pull_request'}}
+
 jobs:
   ubuntu18-minimal:
     name: ubuntu 18.04 minimal

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.