()
| 55 | } |
| 56 | |
| 57 | export function getGitHubPRNumber() { |
| 58 | const prNumber = process.env.PR_NUMBER; |
| 59 | |
| 60 | if (prNumber) { |
| 61 | return Number(prNumber); |
| 62 | } |
| 63 | |
| 64 | const eventPath = process.env.GITHUB_EVENT_PATH; |
| 65 | |
| 66 | if (eventPath && existsSync(eventPath)) { |
| 67 | try { |
| 68 | const eventData = JSON.parse(readFileSync(eventPath, "utf8")); |
| 69 | return Number(eventData.pull_request?.number); |
| 70 | } catch (err) { |
| 71 | console.warn("Failed to parse GITHUB_EVENT_PATH JSON:", err); |
| 72 | } |
| 73 | } |
| 74 | |
| 75 | throw new Error("Could not determine pull request number."); |
| 76 | } |
| 77 | |
| 78 | export type GitHubCommentOptions = { |
| 79 | commentMarker: string; |
no test coverage detected