Hope copilot knows what's up

Author: collijk

.github/workflows/build_docs.yml

@@ -10,7 +10,7 @@ on:
 
 jobs:
   build-and-deploy-docs:
-    if: ${{ github.event.pull_request.merged }}
+    if: ${{ github.event.pull_request.merged }} or ${{ github.event_name == 'workflow_dispatch' }}
     runs-on: ubuntu-latest
     steps:
       # - uses: actions/checkout@v4