....
build-develop-branch / build-branch (push) Successful in 39s Details
build-develop-branch / delete-develop (pull_request) Has been skipped Details

This commit is contained in:
gilesb 2023-10-23 23:30:10 +01:00
parent f47551c0fe
commit 19d2937141
1 changed files with 4 additions and 14 deletions

View File

@ -6,23 +6,11 @@ on:
- closed - closed
- deleted - deleted
branches: branches:
- 'master' - master
jobs: jobs:
if_merged:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
- name: delete develop branch
id: delete_develop_branch
run: git push origin --delete ${{ github.head_ref }}
continue-on-error: true
- uses: mainmatter/continue-on-error-comment@v1
with:
repo-token: ${{ secrets.BOT_TOKEN }}
outcome: ${{ steps.delete_develop_branch.outcome }}
test-id: Error code ${{ matrix.code }}
delete-develop: delete-develop:
if: ${{ ! startsWith(github.head_ref, 'develop/') }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
steps: steps:
- uses: http://sigyl.com:3000/actions/checkout@v3.5.4 - uses: http://sigyl.com:3000/actions/checkout@v3.5.4
@ -42,4 +30,6 @@ jobs:
firstString=${{ github.head_ref }} firstString=${{ github.head_ref }}
secondString="build" secondString="build"
echo ::set-env name=BUILD_BRANCH::${firstString/develop\//"$secondString"\/}s echo ::set-env name=BUILD_BRANCH::${firstString/develop\//"$secondString"\/}s
- name: delete build branch
run: git push origin --delete ${{ env.BUILD_BRANCH }}