()
| 739 | } |
| 740 | |
| 741 | function githubRunUrl(): string { |
| 742 | const server = process.env.GITHUB_SERVER_URL || "https://github.com"; |
| 743 | const repository = process.env.GITHUB_REPOSITORY || ""; |
| 744 | const runId = process.env.GITHUB_RUN_ID || ""; |
| 745 | return repository && runId ? `${server}/${repository}/actions/runs/${runId}` : ""; |
| 746 | } |
| 747 | |
| 748 | function dispatchPayload(dispatch: CommitFindingDispatch, reportRepo: string): string { |
| 749 | return `${JSON.stringify({ |