Hopefully this cancels previous CI runs for a branch (#2642)

2023-07-24 09:47:16 -05:00
1 parent ac9c81f6d1
commit 3fbe2d771c
@@ -1,4 +1,7 @@
 name: CI
+concurrency:
+  group: ${{ github.ref }}
+  cancel-in-progress: ${{ github.ref != 'refs/heads/master' }}
 on:
  # # Triggers the workflow on push but only for the master branch
  push: