Comment on the pull request #1715
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
| # Commenting on a PR requires write access | |
| # This script is taken from jupyterlab project. | |
| name: Comment on the pull request | |
| on: | |
| workflow_run: | |
| workflows: ['UI Tests'] | |
| types: | |
| - completed | |
| permissions: | |
| pull-requests: write | |
| jobs: | |
| upload: | |
| runs-on: ubuntu-latest | |
| if: > | |
| ${{ github.event.workflow_run.event == 'pull_request' && | |
| github.event.workflow_run.conclusion == 'success' }} | |
| steps: | |
| - name: 'Download artifact' | |
| uses: actions/github-script@v3.1.0 | |
| with: | |
| script: | | |
| var artifacts = await github.actions.listWorkflowRunArtifacts({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| run_id: ${{github.event.workflow_run.id }}, | |
| }); | |
| var matchArtifact = artifacts.data.artifacts.filter((artifact) => { | |
| return artifact.name == "voila-benchmark-report" | |
| })[0]; | |
| var download = await github.actions.downloadArtifact({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| artifact_id: matchArtifact.id, | |
| archive_format: 'zip', | |
| }); | |
| var fs = require('fs'); | |
| fs.writeFileSync('${{github.workspace}}/benchmark-assets.zip', Buffer.from(download.data)); | |
| - run: unzip benchmark-assets.zip | |
| - name: 'Comment on PR' | |
| uses: actions/github-script@v3 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| script: | | |
| var fs = require('fs'); | |
| var issue_number = Number(fs.readFileSync('./NR')); | |
| var report = String(fs.readFileSync('./voila-benchmark.md')) | |
| // Get the existing comments. | |
| const {data: comments} = await github.issues.listComments({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| issue_number: issue_number, | |
| }) | |
| // Find any comment already made by the bot. | |
| const botComments = comments.filter(comment => comment.user.id === 41898282) | |
| const botComment = botComments.find(cm => !cm.body.includes('Launch a Binder') ) | |
| if (botComment) { | |
| await github.issues.updateComment({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| comment_id: botComment.id, | |
| body: report | |
| }) | |
| } else { | |
| await github.issues.createComment({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| issue_number: issue_number, | |
| body: report | |
| }); | |
| } |