github/workflows: add concurrency groups

This will cancel any ongoing workflows when we update a pull request.
2026-09-12 17:45:22 +00:00 · 2022-12-19 15:17:31 -06:00
parent 5d3c74b777
commit 45082163f0
2 changed files with 8 additions and 0 deletions
@@ -20,6 +20,10 @@ on:
  schedule:
    - cron: '19 21 * * 4'

+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
 jobs:
  analyze:
    name: Analyze