Merge pull request '.' (#97) 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: #97
This commit is contained in:
giles 2023-10-22 15:35:07 +00:00
commit c4194206e8
1 changed files with 2 additions and 2 deletions

View File

@ -10,6 +10,6 @@ jobs:
if: github.event.pull_request.merged == true
runs-on: ubuntu-latest
steps:
name: on-merge
- run: |
- 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 }}