From: Fabian Castelli 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