CI: Build and deploy docs only upon successful completion of CI wor…

…kflow
krivenko · Jun 16, 2023 · b4376b5 · b4376b5
1 parent ad1dbb7
commit b4376b5
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/Documenter.yml b/.github/workflows/Documenter.yml
@@ -1,9 +1,9 @@
 name: Documenter
 on:
-  push:
+  workflow_run:
+    workflows: ["CI"]
     branches: [master, ci]
-    tags: [v*]
-  pull_request:
+    types: [completed]
 
 jobs:
   Documenter: