Merge branch 'main' into release

reearth · Oct 18, 2024 · e18e5e3 · e18e5e3
2 parents 44094a0 + 8fc03e6
commit e18e5e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_server.yml b/.github/workflows/build_server.yml
@@ -26,7 +26,7 @@ jobs:
         id: info
         # The tag name should be retrieved lazily, as tagging may be delayed.
         env:
-          BRANCH: ${{ github.event.workflow_run.head_branch }}
+          BRANCH: ${{ github.head_ref || github.ref_name }}
         run: |
           echo "::set-output name=sha_short::$(git rev-parse --short HEAD)"
           if [[ "$BRANCH" = "release" ]]; then