CI: Allow Docs Deploy on Manual Runs (#11355)

* Allow Docs Deploy on Manual Run * CI: Allow Docs Deploy on Manual Runs
mavlink · Apr 19, 2024 · b8895ae · b8895ae
1 parent 3297352
commit b8895ae
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/docs_deploy.yml b/.github/workflows/docs_deploy.yml
@@ -44,7 +44,7 @@ jobs:
           retention-days: 1
 
   deploy:
-    if: ${{ github.event_name == 'push' || (github.event_name == 'pull_request' && github.event.pull_request.merged) }}
+    if: ${{ github.event_name == 'push' || github.event_name == 'workflow_dispatch' || (github.event_name == 'pull_request' && github.event.pull_request.merged) }}
     needs: build
     runs-on: ubuntu-latest