fix: syncing back tags to dev

This commit is contained in:
2024-10-29 15:18:57 +01:00
parent eb64874c47
commit a6ded91185

View File

@@ -91,6 +91,15 @@ jobs:
git tag ${{ steps.git_version.outputs.version }}
git push origin ${{ steps.git_version.outputs.version }}
- name: Sync tag to dev branch
if: github.ref_name == 'master'
run: |
git fetch origin dev
git checkout dev
git merge --no-ff ${{ steps.git_version.outputs.version }}
git push origin dev
git checkout master
- name: Set up Python
uses: actions/setup-python@v5
with: