diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml index 1445f853..4929ba26 100644 --- a/.github/workflows/autograding.yml +++ b/.github/workflows/autograding.yml @@ -24,7 +24,7 @@ jobs: - name: Mutation Coverage run: mvn -V --color always -ntp org.pitest:pitest-maven:mutationCoverage - name: Autograding - uses: uhafner/autograding-github-action@v1.7.0 + uses: uhafner/autograding-github-action@1.7.2 with: TOKEN: ${{ secrets.GITHUB_TOKEN }} HEAD_SHA: ${{github.event.pull_request.head.sha}} diff --git a/.github/workflows/reporting.yml b/.github/workflows/reporting.yml index 21022696..ed67e958 100644 --- a/.github/workflows/reporting.yml +++ b/.github/workflows/reporting.yml @@ -30,7 +30,7 @@ jobs: - name: Mutation Coverage run: mvn -V --color always -ntp org.pitest:pitest-maven:mutationCoverage - name: Autograding - uses: uhafner/autograding-github-action@v1.7.0 + uses: uhafner/autograding-github-action@1.7.2 with: TOKEN: ${{ secrets.GITHUB_TOKEN }} HEAD_SHA: ${{github.event.pull_request.head.sha}}