Fix manual workflow dispatches

Signed-off-by: Alexander Richardson <[email protected]>
riscv · Feb 14, 2025 · 82cc941 · 82cc941
1 parent 6043e47
commit 82cc941
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/build-pdf.yml b/.github/workflows/build-pdf.yml
@@ -75,11 +75,11 @@ jobs:
           retention-days: 30
 
       # Upload GitHub pages artefacts.
-      - name: Make gitlab pages directory
+      - name: Make GitHub pages directory
         run: mkdir dist && cp build/*.html dist/index.html
-        if: github.event_name == 'push'
+        if: github.event_name == 'workflow_dispatch' || github.event_name == 'push'
 
-      - name: Upload artifact
+      - name: Upload pages artifact
         uses: actions/upload-pages-artifact@v3
         with:
           path: dist