Skip to content

Commit a7fc6c5

Browse files
committed
update release script to reattach git head
1 parent 391607c commit a7fc6c5

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

.github/workflows/release.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -25,6 +25,11 @@ jobs:
2525
steps:
2626
- uses: actions/checkout@692973e3d937129bcbf40652eb9f2f61becf3332 # v4.1.7
2727

28+
- name: Reattach git HEAD
29+
if: startWith(github.ref, 'refs/tags/')
30+
shell: bash
31+
run: git checkout "${GITHUB_REF_NAME}"
32+
2833
- name: Create Build Directory
2934
run: cmake -E make_directory ./build
3035

0 commit comments

Comments
 (0)