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:29:19 +00:00
|
|
|
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 }}
|
