Add a name to the PR finder step.

uhafner · Dec 1, 2023 · 6d30613 · 6d30613
1 parent a6f8ccc
commit 6d30613
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/autograding.yml b/.github/workflows/autograding.yml
@@ -26,7 +26,8 @@ jobs:
         env:
           BROWSER: chrome-container
         run: mvn -V --color always -ntp clean verify --file pom.xml '-Djenkins.test.timeout=5000' '-Dgpg.skip' -Ppit | tee maven.log
-      - uses: jwalton/gh-find-current-pr@v1
+      - name: Extract pull request number
+        uses: jwalton/gh-find-current-pr@v1
         id: pr
       - name: Run Autograding
         uses: uhafner/autograding-github-action@v3