2023-10-22 02:56:12 +00:00
|
|
|
name: build-develop-branch
|
|
|
|
|
run-name: ${{ github.actor }} is learning GitHub Actions
|
|
|
|
|
on:
|
|
|
|
|
pull_request:
|
|
|
|
|
types:
|
|
|
|
|
- closed
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
if_merged:
|
|
|
|
|
if: github.event.pull_request.merged == true
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
2023-10-22 15:32:21 +00:00
|
|
|
- name: on-merge
|
|
|
|
|
run: |
|
2023-10-22 15:42:34 +00:00
|
|
|
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 }}
|
|
|
|
|
|
