build: populate workspace workflows

scratchfoundation · Dec 11, 2023 · a49c5f7 · a49c5f7
1 parent 91c70db
commit a49c5f7
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/scripts/build-monorepo.sh b/scripts/build-monorepo.sh
@@ -355,6 +355,9 @@ git -C "$BUILD_OUT" checkout -f --no-guess develop
 
 npm -C "$BUILD_OUT" run refresh-gh-workflow
 
+git -C "$BUILD_OUT" add .github/workflows
+git -C "$BUILD_OUT" commit -m "ci: populate workspace workflows"
+
 optimize_git_repo
 
 echo "All done!"

diff --git a/scripts/workspace-template.yml b/scripts/workspace-template.yml
@@ -5,7 +5,7 @@ on:
   workflow_dispatch:
 
 concurrency:
-  group: '${{ github.workflow }} @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
+  group: 'WS_NAME @ ${{ github.event.pull_request.head.label || github.head_ref || github.ref }}'
 
 permissions:
   contents: write # publish a GitHub release