anatawa12 b22066b9a2 ci: fix pull_req時にAPI diffの実行ができない (#12123) ...

* initial commit for report-api-diff.yml

* add api-{base,head}.json into api-artifact

* try to get pull request id from github.event.workflow_run.pull_requests

* Update report-api-diff.yml

* Update report-api-diff.yml

* remove save-pr-number

2023-10-24 06:16:40 +09:00

3.3 KiB

Raw Blame History

View Raw