Use v3.5.0 grading.

uhafner · Dec 6, 2023 · c765253 · c765253
1 parent 0703dc8
commit c765253
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml
@@ -32,7 +32,7 @@ jobs:
         uses: jwalton/gh-find-current-pr@v1
         id: pr
       - name: Run Autograding
-        uses: uhafner/autograding-github-action@main
+        uses: uhafner/autograding-github-action@v3
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
           pr-number: ${{ steps.pr.outputs.number }}