ci: cancel superseded pull request runs (#2132)

2026-09-11 23:07:41 +00:00 · 2026-09-04 14:19:04 -07:00
parent 01bd751d5f
commit fce879bfaa
2 changed files with 8 additions and 0 deletions
@@ -20,6 +20,10 @@ on:
  schedule:
    - cron: '17 0 * * 6'

+concurrency:
+  group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 jobs:
  analyze:
    name: Analyze