Suppress warning in workflow when a PR doesn't alter the generated HT…

…ML files
cplusplus · Nov 4, 2024 · 567fead · 567fead
1 parent 5f81fa7
commit 567fead
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/check-pr.yml b/.github/workflows/check-pr.yml
@@ -23,6 +23,7 @@ jobs:
     - name: Compile binary programs
       run: make pgms
 
+    # This avoids fetching the full git history, because it's slow.
     - name: Extract issue timestamps from published files
       run: |
         git fetch --depth=1 origin gh-pages
@@ -52,3 +53,4 @@ jobs:
         name: pull-${{ github.event.number }}-html
         path: html/issue*.html
         retention-days: 7
+        if-no-files-found: ignore