anatawa12 7e15f71916 ci: fix pullreq number may not get correctly (#12127) ...

* Revert "remove save-pr-number"

This reverts commit 085f4bd769.

* Revert "Update report-api-diff.yml"

This reverts commit b73daf4c0e.

* Revert "Update report-api-diff.yml"

This reverts commit cbf2b5ad8a.

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

This reverts commit 07517ce501.

2023-10-24 14:02:06 +09:00

4.9 KiB

Raw Blame History

View Raw