Push tags

This commit is contained in:
Benjamin Levesque committed 2022-10-28 15:43:52 +02:00
1 parent 8614edc304
commit 726c11b3a5
1 file changed
+2 -1
+2 -1
View File
@@ -28,7 +28,8 @@ jobs:
git config user.name 'github-actions[bot]' git config user.name 'github-actions[bot]'
git config user.email 'github-actions[bot]@users.noreply.github.com' git config user.email 'github-actions[bot]@users.noreply.github.com'
git add dist/ git add dist/
git commit -m "Release ${{ github.release.tag_name }}" git commit -m "Release ${{ github.event.inputs.tag }}"
git tag ${{ github.event.inputs.tag }} git tag ${{ github.event.inputs.tag }}
git push git push
git push --tags