Comment on the pull request #1209
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
| # | |
| # Part two of two stage process for updating PRs with pitest results when accepting PRs from untrusted forks. | |
| # | |
| # The version of this file that runs is the version in the main/master branch, NOT the version in the PR. It must therefore | |
| # be committed to main/master before the process can run for the first time. | |
| # | |
| # This workflow takes an artifact containing pitest results generated in part one, and updated the PR. It runs with | |
| # write access. | |
| # | |
| # See https://blog.pitest.org/oss-pitest-pr/ | |
| name: Comment on the pull request | |
| # read-write repo token | |
| # access to secrets | |
| on: | |
| workflow_run: | |
| workflows: ["Receive"] | |
| types: | |
| - completed | |
| env: | |
| MAVEN_ARGS: -B -V -ntp -e -Djansi.passthrough=true -Dstyle.color=always | |
| jobs: | |
| pitest-update-pr: | |
| if: ${{ github.event.workflow_run.conclusion == 'success' }} | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: debug | |
| uses: hmarr/debug-action@v3 | |
| - name: Setup Java | |
| uses: actions/setup-java@v4 | |
| with: | |
| distribution: 'zulu' | |
| java-version: '21' | |
| - name: Download artifact | |
| uses: dawidd6/action-download-artifact@v3 | |
| with: | |
| workflow: ${{ github.event.workflow_run.workflow_id }} | |
| name: pitest | |
| path: target/pit-reports-ci | |
| workflow_conclusion: success | |
| - name: update pull request | |
| # The updatePR maven goal is used here with an explicit version. This allows us to upload without checking out | |
| # the code, but does mean the version here must be maintained. An alternative would be to checkout the code and use | |
| # the github goal. This will work as long as the artifact is extracted to the maven target directory | |
| run: > | |
| ./mvnw $MAVEN_ARGS -DrepoToken=${{ secrets.GITHUB_TOKEN }} com.groupcdg:pitest-github-maven-plugin:1.1.1:updatePR |