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

Merge pull request '.' (#98) from develop-1000 into master
build-develop-branch / build-branch (push) Has been skipped Details
convert-to-yml / develop-branch (push) Has been skipped Details 

Reviewed-on: #98
This commit is contained in:
giles 2023-10-22 15:44:03 +00:00
parent c4194206e8 0d44e62a52
commit 7849cf8d38
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -12,4 +12,10 @@ jobs:
steps: steps:
- name: on-merge - name: on-merge
run: | 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 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 }}