ci: add concurrency flag for CI workflows (#448)

2026-07-25 12:52:47 -07:00 · 2025-01-28 08:30:33 +01:00
parent c0aa707315
commit bd34c194cb
7 changed files with 24 additions and 0 deletions
@@ -7,6 +7,10 @@ on:

  pull_request:

+concurrency:
+  group: '${{ github.workflow }}-${{ github.head_ref || github.ref }}'
+  cancel-in-progress: ${{ github.event_name == 'pull_request' }}
+
 jobs:
  spell_checking:
    name: LanguageTool