From: Fabian Castelli <fabian.castelli@kit.edu>
Date: Thu, 24 Feb 2022 23:59:21 +0000 (+0100)
Subject: Add concurrency for main.yml
X-Git-Tag: v9.4.0-r1~7^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=12a5509e2a7f9185cc2a592b3963c6f4760b9c01;p=candi.git

Add concurrency for main.yml
---

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 39bcd08..cfbcbd7 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -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