actions/pull-request-lint
2
0
Fork 0
Code Issues 1 Pull requests Projects Releases 5 Packages Wiki Activity Actions

ci: update release workflow for error handling
All checks were successful
Lint Pull Request / Lint PR Title (pull_request) Has been skipped
Details

Browse source
This commit is contained in:
Jan K9f 2025-04-09 18:51:21 +02:00
parent c420551cdb
commit 66f0f05e55
Signed by: jank
GPG key ID: B9F475106B20F144
1 changed files with 5 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

8
.gitea/workflows/release.yml
View file

@ -52,23 +52,25 @@ jobs:
run: | run: |
git add docs/ git add docs/
git commit -m "chore(release): [skip ci]" git commit -m "chore(release): [skip ci]"
continue-on-error: true
- name: Push changes to release branch - name: Push changes to release branch
if: ${{ steps.semantic.outputs.new_release_published }} if: ${{ steps.semantic.outputs.new_release_published }}
run: | run: |
git remote set-url origin git@${{ env.GITEA_DOMAIN }}:${{ github.repository }}.git git remote set-url origin git@${{ env.GITEA_DOMAIN }}:${{ github.repository }}.git
git push origin HEAD:${{ env.RELEASE_BRANCH }} git push origin HEAD:${{ env.RELEASE_BRANCH }}
continue-on-error: true
- name: Checkout target branch - name: Checkout target branch
if: ${{ steps.semantic.outputs.new_release_published && !(env.SKIP_MERGE == true) }} if: ${{ !(env.SKIP_MERGE == true) }}
run: git reset --hard && git checkout ${{ env.TARGET_BRANCH }} && git pull run: git reset --hard && git checkout ${{ env.TARGET_BRANCH }} && git pull
- name: Merge release - name: Merge release
if: ${{ steps.semantic.outputs.new_release_published && !(env.SKIP_MERGE == true) }} if: ${{ !(env.SKIP_MERGE == true) }}
run: git merge ${{ env.RELEASE_BRANCH }} run: git merge ${{ env.RELEASE_BRANCH }}
- name: Push changes to target branch - name: Push changes to target branch
if: ${{ steps.semantic.outputs.new_release_published && !(env.SKIP_MERGE == true) }} if: ${{ !(env.SKIP_MERGE == true) }}
run: | run: |
git remote set-url origin git@${{ env.GITEA_DOMAIN }}:${{ github.repository }}.git git remote set-url origin git@${{ env.GITEA_DOMAIN }}:${{ github.repository }}.git
git push origin HEAD:${{ env.TARGET_BRANCH }} git push origin HEAD:${{ env.TARGET_BRANCH }}