ci: trigger deploy when gather-docs completes

Author: haithium

.github/workflows/deploy.yml

@@ -7,6 +7,10 @@ on:
     paths:
       - docs/**
       - .github/workflows/deploy.yml
+  workflow_run:
+    workflows: ["Gather Project Docs"]
+    types:
+      - completed
   workflow_dispatch:
 
 permissions:
@@ -20,6 +24,7 @@ concurrency:
 
 jobs:
   build:
+    if: ${{ github.event_name != 'workflow_run' || github.event.workflow_run.conclusion == 'success' }}
     defaults:
       run:
         working-directory: docs