Add non concurrency to Ubuntu CI workflow (#2075)

Signed-off-by: Tal Regev <[email protected]>
gazebosim · Aug 17, 2023 · 900a6ea · 900a6ea
1 parent caefed8
commit 900a6ea
Showing 1 changed file with 6 additions and 0 deletions.
diff --git 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