amechama/sharkey
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ci: use refs/pull/*/merge to get head (#12508)

Browse Source
This commit is contained in:
anatawa12 2023-11-30 01:06:11 +09:00 committed by GitHub
parent ea1a2dc8db
commit c41d03018c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
.github/workflows/get-api-diff.yml vendored
View File

@ -22,16 +22,13 @@ jobs:
api-json-name: [api-base.json, api-head.json] api-json-name: [api-base.json, api-head.json]
include: include:
- api-json-name: api-base.json - api-json-name: api-base.json
repo-name: ${{ github.event.pull_request.base.repo.full_name }}
ref: ${{ github.base_ref }} ref: ${{ github.base_ref }}
- api-json-name: api-head.json - api-json-name: api-head.json
repo-name: ${{ github.event.pull_request.head.repo.full_name }} ref: refs/pull/${{ github.event.number }}/merge
ref: ${{ github.head_ref }}
steps: steps:
- uses: actions/checkout@v4.1.1 - uses: actions/checkout@v4.1.1
with: with:
repository: ${{ matrix.repo-name }}
ref: ${{ matrix.ref }} ref: ${{ matrix.ref }}
submodules: true submodules: true
- name: Install pnpm - name: Install pnpm