764: CI: Fix refspec for git push r=korken89 a=AfoHT



Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
This commit is contained in:
bors[bot] 2023-06-06 04:41:16 +00:00 committed by GitHub
commit bd54afae41
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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