another-user
/
batch-example
1
0
Fork 0
Code Issues Pull Requests 1 Actions Packages Projects Releases 143 Wiki Activity

....................
convert-to-yml / develop-branch (push) Successful in 31s Details

This commit is contained in:
giles 2023-10-22 20:09:43 +01:00
parent f450dd86e8
commit f4e94761ad
1 changed files with 20 additions and 32 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

42
.gitea/workflows/pr-closed.yml
View File

@ -6,21 +6,12 @@ on:
- closed - closed
jobs: jobs:
if_merged: delete:
if: github.event.pull_request.merged == true
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
with: with:
token: ${{ secrets.BOT_TOKEN }} token: ${{ secrets.BOT_TOKEN }}
- name: on-merge
run: |
echo The PR was merged into ${{ github.event.pull_request.base.ref }} from ${{ github.ref_name }} from ${{ github.ref }} type ${{ github.ref_type }}
echo head ref : ${{ github.event.pull_request.head.ref }}
echo base_ref : ${{ github.base_ref }}
echo head_ref : ${{ github.head_ref }}
echo env: ${{ env.GITHUB_HEAD_REF }}
echo env: ${{ env.GITHUB_BASE_REF }}
- name: delete develop branch - name: delete develop branch
id: delete_develop_branch id: delete_develop_branch
run: git push origin --delete ${{ github.head_ref }} run: git push origin --delete ${{ github.head_ref }}
@ -35,27 +26,24 @@ jobs:
firstString=${{ github.head_ref }} firstString=${{ github.head_ref }}
secondString="build-" secondString="build-"
echo ::set-env name=BUILD_BRANCH::${firstString/develop-/"$secondString"} echo ::set-env name=BUILD_BRANCH::${firstString/develop-/"$secondString"}
- name: delete build branch if_merged:
id: delete_build_branch if: github.event.pull_request.merged == true
run: git push origin --delete ${{ env.BUILD_BRANCH }} runs-on: ubuntu-latest
steps:
- uses: http://sigyl.com:3000/actions/checkout@v3.5.4
with:
token: ${{ secrets.BOT_TOKEN }}
- name: delete develop branch
id: delete_develop_branch
run: git push origin --delete ${{ github.head_ref }}
continue-on-error: true continue-on-error: true
- uses: mainmatter/continue-on-error-comment@v1 - uses: mainmatter/continue-on-error-comment@v1
with: with:
repo-token: ${{ github.token }} repo-token: ${{ github.token }}
outcome: ${{ steps.delete_build_branch.outcome }} outcome: ${{ steps.delete_develop_branch.outcome }}
test-id: Error code ${{ matrix.code }} test-id: Error code ${{ matrix.code }}
- name: get build format branch name - name: get build branch name
run: | run: |
firstString=${{ github.head_ref }} firstString=${{ github.head_ref }}
secondString="format-" secondString="build-"
echo ::set-env name=FORMAT_BRANCH::${firstString/develop-/"$secondString"} echo ::set-env name=BUILD_BRANCH::${firstString/develop-/"$secondString"}
- name: delete format branch
id: delete_format_branch
run: git push origin --delete ${{ env.FORMAT_BRANCH }}
continue-on-error: true
- uses: mainmatter/continue-on-error-comment@v1
with:
repo-token: ${{ github.token }}
outcome: ${{ steps.delete_format_branch.outcome }}
test-id: Error code ${{ matrix.code }}