Merge branch 'develop' into chore/remove-some-prepack-scripts-v3

public-ui · Feb 1, 2025 · 6d0ff4d · 6d0ff4d
2 parents 17ed467 + 4c080aa
commit 6d0ff4d
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 71 deletions.
diff --git a/.github/workflows/auto-file-generator.yml b/.github/workflows/auto-file-generator.yml
diff --git a/.github/workflows/dod-checker.yml b/.github/workflows/dod-checker.yml
@@ -4,7 +4,7 @@ on:
     types: [opened, edited, synchronize]
 
 concurrency:
-  group: pr-{{ github.event.pull_request.number }}
+  group: 'pr-${{ github.event.pull_request.number }}'
   cancel-in-progress: true
 
 jobs: