CI: Fix refspec for git push

This commit is contained in:
Henrik Tjäder 2023-06-05 23:21:14 +02:00
parent 073f48208d
commit 13610e4c7b

View file

@ -363,7 +363,7 @@ jobs:
mdbookold: mdbookold:
name: build docs and mdbook for older releases name: build docs and mdbook for older releases
needs: mergetostablebranch needs: pushtostablebranch
runs-on: ubuntu-22.04 runs-on: ubuntu-22.04
steps: steps:
- name: Checkout - name: Checkout
@ -468,8 +468,8 @@ jobs:
# Thus, no need to push changes # Thus, no need to push changes
# #
# This needs to run before book is built, as bookbuilding fetches from the branch # This needs to run before book is built, as bookbuilding fetches from the branch
mergetostablebranch: pushtostablebranch:
name: Merge branch into release/vX when pushing to master name: Also push branch into release/vX when pushing to master
runs-on: ubuntu-22.04 runs-on: ubuntu-22.04
needs: needs:
- ci-success - ci-success
@ -486,7 +486,7 @@ jobs:
- name: Push to stable release branch if master contains stable version - name: Push to stable release branch if master contains stable version
if: ${{ env.versionmajor == env.STABLE_VERSION }} if: ${{ env.versionmajor == env.STABLE_VERSION }}
run: git push -u origin ${{ env.branch }} run: git push -u origin master:${{ env.branch }}
- name: Else case, master did not contain the stable version version - name: Else case, master did not contain the stable version version
if: ${{ env.versionmajor != env.STABLE_VERSION }} if: ${{ env.versionmajor != env.STABLE_VERSION }}
@ -500,7 +500,7 @@ jobs:
name: deploy name: deploy
runs-on: ubuntu-22.04 runs-on: ubuntu-22.04
needs: needs:
- mergetostablebranch - pushtostablebranch
- docs - docs
- mdbookold - mdbookold
- mdbook - mdbook