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

…r/autograding-github-action-1.7.3 Bump uhafner/autograding-github-action from 1.7.1 to 1.7.3
uhafner · Nov 21, 2023 · 3a57c9f · 3a57c9f
2 parents e702b4b + ec88fcf
commit 3a57c9f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,7 +20,7 @@ jobs:
       - name: Test setup
         run: sh copy_files.sh
       - name: Run Autograding
-        uses: uhafner/[email protected].1
+        uses: uhafner/[email protected].3
         with:
           TOKEN: ${{ secrets.GITHUB_TOKEN }}
           HEAD_SHA: ${{github.event.pull_request.head.sha}}