Rebuild docs on manual dispatch

githedgehog · Nov 9, 2024 · 2ee123a · 2ee123a
1 parent 231ff30
commit 2ee123a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -53,7 +53,7 @@ jobs:
   build:
     name: "Build and deploy documentation"
     needs: [ check_changes ]
-    if: "${{ needs.check_changes.outputs.docs == 'true' }}"
+    if: "${{ needs.check_changes.outputs.docs == 'true' || github.event_name == 'workflow_dispatch' }}"
     runs-on: "ubuntu-latest"
     steps: