Compare commits

...

5 Commits

Author SHA1 Message Date
anatawa12 085f4bd769
remove save-pr-number 2023-10-23 19:12:58 +09:00
anatawa12 b73daf4c0e
Update report-api-diff.yml 2023-10-23 18:58:54 +09:00
anatawa12 cbf2b5ad8a
Update report-api-diff.yml 2023-10-23 18:52:53 +09:00
anatawa12 07517ce501
try to get pull request id from github.event.workflow_run.pull_requests 2023-10-23 18:47:48 +09:00
anatawa12 1a898c94ab
add api-{base,head}.json into api-artifact 2023-10-23 16:00:35 +09:00
2 changed files with 12 additions and 15 deletions

View File

@ -171,16 +171,3 @@ jobs:
path: api-head.json
- name: Kill Misskey Job
run: screen -S misskey -X quit
save-pr-number:
runs-on: ubuntu-latest
steps:
- name: Save PR number
env:
PR_NUMBER: ${{ github.event.number }}
run: |
echo "$PR_NUMBER" > ./pr_number
- uses: actions/upload-artifact@v3
with:
name: api-artifact
path: pr_number

View File

@ -39,7 +39,14 @@ jobs:
run: unzip api-artifact.zip -d artifacts
- name: Load PR Number
id: load-pr-num
run: echo "pr-number=$(cat artifacts/pr_number)" >> "$GITHUB_OUTPUT"
env:
PULL_REQUESTS: ${{ toJson(github.event.workflow_run.pull_requests.*) }}
REPO_ID: ${{ github.repository_id }}
run: |
# find first pull requests that targets this repository
PR_NUMBER="$(echo "$PULL_REQUESTS" \
| jq --arg REPO_ID "$REPO_ID" '[.[] | select ($REPO_ID == (.base.repo.id | tostring)) | .number ][0]')"
echo "pr-number=$PR_NUMBER" >> "$GITHUB_OUTPUT"
- name: Output base
run: cat ./artifacts/api-base.json
@ -59,7 +66,10 @@ jobs:
uses: actions/upload-artifact@v3
with:
name: api-artifact
path: api-full.json.diff
path: |
api-full.json.diff
api-base.json
api-head.json
- id: out-diff
name: Build diff Comment
run: |