WIP: checkout files

Daraan · Daraan · commit 8d7600b27e82 · 2025-08-18T17:00:32.000+02:00
diff --git a/.github/workflows/coverage_report.yml b/.github/workflows/coverage_report.yml
@@ -1,4 +1,4 @@
-name: Comment on the pull request
+name: Add coverage comment on PR
 
 # read-write repo token
 # access to secrets
@@ -28,6 +28,8 @@ jobs:
       - name: Extract PR number
         id: pr_number
         run: |
+          ls -a
+          ls -a pr_number*
           echo "PR number is:"
           cat pr_number.txt
           export "pr_number=$(cat pr_number.txt)"
