ci: Publish docs only if CI passes

MontealegreLuis · Apr 26, 2022 · 88a41a1 · 88a41a1
1 parent b5a8b17
commit 88a41a1
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -1,13 +1,15 @@
 name: Documentation
 
 on:
-  push:
-    branches:
-      - master
+  workflow_run:
+    workflows: [ CI ]
+    types: [ completed ]
+    branches: [ master ]
 
 jobs:
   deploy:
     runs-on: ubuntu-18.04
+    if: ${{ github.event.workflow_run.conclusion == 'success' }}
     steps:
       - name: "Checkout documentation"
         uses: actions/checkout@v1