Don't deploy docs in automated PRs (#386)

JuliaFolds · Jul 29, 2020 · 7aeac5b · 7aeac5b
1 parent f3056ae
commit 7aeac5b
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -21,7 +21,16 @@ jobs:
       - name: Install dependencies
         run: julia -e 'using Run; Run.prepare_docs()'
       - name: Build and deploy
+        id: build-and-deploy
+        if: |
+          github.event_name == 'push' || (
+            github.event_name == 'pull_request' &&
+            !contains(github.head_ref, 'create-pull-request/')
+          )
         env:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
           DOCUMENTER_KEY: ${{ secrets.SSH_KEY }}
         run: julia -e 'using Run; Run.docs()'
+      - name: Just build
+        if: steps.build-and-deploy.outcome == 'skipped'
+        run: julia -e 'using Run; Run.docs()'