Run docs build without deploy on PRs

gethomepage · Sep 30, 2023 · 2ed1738 · 2ed1738
1 parent 56f46ae
commit 2ed1738
Showing 1 changed file with 8 additions and 4 deletions.
diff --git a/.github/workflows/docs-publish.yml b/.github/workflows/docs-publish.yml
@@ -4,6 +4,7 @@ on:
   push:
     tags: [ 'v*.*.*' ]
     branches: ['main']
+  pull_request:
   workflow_dispatch:
 
 permissions:
@@ -40,11 +41,14 @@ jobs:
           git checkout gh-pages
           git pull origin gh-pages
           git checkout main
-      - name: Mike Deploy for Main
-        if: github.ref == 'refs/heads/main'
+      - name: Docs Deploy for Main
+        if: github.event_name != 'pull_request' && github.ref == 'refs/heads/main'
         run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}}
-      - name: Mike Deploy for Tags
-        if: github.ref != 'refs/heads/main'
+      - name: Docs Deploy for Tags
+        if: github.event_name != 'pull_request' && github.ref != 'refs/heads/main'
         run: MKINSIDERS=true mike deploy --update --push ${{github.ref_name}} latest
+      - name: Docs Test Build
+        if: github.event_name == 'pull_request'
+        run: MKINSIDERS=true mkdocs build
 env:
   GH_TOKEN: ${{ secrets.GH_TOKEN }}