Next attempt

Author: jrfnl

.github/workflows/pr-comment.yml

@@ -61,20 +61,20 @@ jobs:
         run: unzip pr_info.zip
 
       - name: "DEBUG: show dir layout"
-        run: ls -aohR "${{ github.workspace }}"
+        run: ls -aohR
 
       - name: Read PR number
         id: pr_number
         shell: bash
         run: |
-          value=$(<"${{ github.workspace }}/pr/pr_number")
+          value=$(<"pr_number")
           echo "PR_NR=$value" >> "$GITHUB_OUTPUT"
 
       - name: Read Wiki artifact URL
         id: artifact_url
         shell: bash
         run: |
-          value=$(<"${{ github.workspace }}/pr/artifact_url")
+          value=$(<"artifact_url")
           echo "URL=$value" >> "$GITHUB_OUTPUT"
 
       - name: "DEBUG: show grabbed PR nr"