Merge pull request #272 from uhafner/dependabot/github_actions/uhafne…

…r/autograding-github-action-1.7.3 Bump uhafner/autograding-github-action from 1.7.0 to 1.7.3
uhafner · Nov 16, 2023 · d986849 · d986849
2 parents 84f47ff + b44b79e
commit d986849
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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@v1.7.3
         with:
           TOKEN: ${{ secrets.GITHUB_TOKEN }}
           HEAD_SHA: ${{github.event.pull_request.head.sha}}