CI: Allow Docs Deploy on Manual Runs

mavlink · Apr 19, 2024 · 6015598 · 6015598
1 parent b6c75cf
commit 6015598
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