chore: add GitHub concurrency

vincentchalamon · vincentchalamon · commit d1f05035b2b3 · 2023-06-29T14:48:10.000+02:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -4,6 +4,10 @@ on:
   push:
   pull_request:
 
+concurrency:
+  group: ${{ github.workflow }}-${{ github.head_ref || github.run_id }}
+  cancel-in-progress: true
+
 env:
   COVERAGE: '0'
 
