CI: Do not cancel concurrent workflow runs for pushes to master

2026-09-24 23:31:36 +08:00 · 2023-08-16 16:01:55 -04:00
parent b6b8f5b80a
commit 4654b93168
1 changed files with 1 additions and 1 deletions
@@ -13,7 +13,7 @@ permissions:
  contents: write
 concurrency:
  group: '${{ github.workflow }} @ ${{ github.ref }}'
-  cancel-in-progress: ${{ fromJSON(github.ref_type == 'tag') }}
+  cancel-in-progress: false
 jobs:
  check-format:
    name: Format 🔍