diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 5384746b..c713030a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -6,6 +6,10 @@ on: branches: - "master" # Always build head of master for the badge in the README +concurrency: + group: ${{ github.workflow }}-${{ github.ref }} + cancel-in-progress: true + jobs: static_analysis: runs-on: ubuntu-latest