Add download link to PR #506
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
--- | |
name: Add download link to PR | |
on: | |
workflow_run: | |
workflows: ['PR Build'] | |
types: [completed] | |
jobs: | |
pr_comment: | |
if: github.event.workflow_run.event == 'pull_request' && github.event.workflow_run.conclusion == 'success' | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/github-script@v7 | |
with: | |
# This snippet is public-domain, taken from | |
# https://github.com/oprypin/nightly.link/blob/master/.github/workflows/pr-comment.yml | |
script: | | |
const {owner, repo} = context.repo; | |
const run_id = ${{github.event.workflow_run.id}}; | |
const pull_head_sha = '${{github.event.workflow_run.head_sha}}'; | |
const pull_user_id = ${{github.event.sender.id}}; | |
const issue_number = await (async () => { | |
for await (const {data} of github.paginate.iterator(github.rest.pulls.list, {owner, repo})) { | |
for (const pull of data) { | |
if (pull.head.sha === pull_head_sha && pull.user.id === pull_user_id) { | |
return pull.number; | |
} | |
} | |
} | |
})(); | |
if (issue_number) { | |
core.info(`Using pull request ${issue_number}`); | |
} else { | |
return core.error(`No matching pull request found`); | |
} | |
const {data: {artifacts}} = await github.rest.actions.listWorkflowRunArtifacts({owner, repo, run_id}); | |
if (!artifacts.length) { | |
return core.error(`No artifacts found`); | |
} | |
let body = `Download the artifacts for this pull request:\n`; | |
for (const art of artifacts) { | |
body += `\n* [${art.name}.zip](https://nightly.link/${owner}/${repo}/actions/artifacts/${art.id}.zip)`; | |
} | |
const {data: comments} = await github.rest.issues.listComments({repo, owner, issue_number}); | |
const existing_comment = comments.find((c) => c.user.login === 'github-actions[bot]'); | |
if (existing_comment) { | |
core.info(`Updating comment ${existing_comment.id}`); | |
await github.rest.issues.updateComment({repo, owner, comment_id: existing_comment.id, body}); | |
} else { | |
core.info(`Creating a comment`); | |
await github.rest.issues.createComment({repo, owner, issue_number, body}); | |
} |