feat: allow building pages on demand

siemdejong · Mar 5, 2024 · 10259ca · 10259ca
1 parent 8d8cad6
commit 10259ca
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -5,6 +5,7 @@ on:
     workflows: ["Release"]
     types:
       - completed
+  workflow_dispatch:
 
 env:
   HDF5_DISABLE_VERSION_CHECK: 1
@@ -72,4 +73,4 @@ jobs:
       if: github.ref == 'refs/heads/main'
       with:
         github_token: ${{ secrets.GITHUB_TOKEN }}
-        publish_dir: docs/build/html
+        publish_dir: docs/build/html