Merge pull request #854 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 · 6a8f027 · 6a8f027
2 parents 784546e + aecc374
commit 6a8f027
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
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/[email protected].0
+        uses: uhafner/[email protected].3
         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
@@ -30,7 +30,7 @@ jobs:
       - name: Mutation Coverage
         run: mvn -V --color always -ntp org.pitest:pitest-maven:mutationCoverage
       - name: Autograding
-        uses: uhafner/[email protected].0
+        uses: uhafner/[email protected].3
         with:
           TOKEN: ${{ secrets.GITHUB_TOKEN }}
           HEAD_SHA: ${{github.event.pull_request.head.sha}}