diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a415239685..1959936c78 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -2,6 +2,12 @@ name: Ubuntu CI on: [push, pull_request] +# Every time you make a push to your PR, it cancel immediately the previous checks, +# and start a new one. The other runner will be available more quickly to your PR. +concurrency: + group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }} + cancel-in-progress: true + jobs: focal-ci: runs-on: ubuntu-latest