Run docs CI on PRs; deploy only in main

IMRCLab · Nov 16, 2023 · 94c61d4 · 94c61d4
1 parent 7249a78
commit 94c61d4
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci-docs2.yml b/.github/workflows/ci-docs2.yml
@@ -1,8 +1,10 @@
-name: Docs deploy
+name: Docs
 
 on:
  push:
  branches: [ main ]
+ pull_request:
+ branches: [ main ]
 
 jobs:
  build:
@@ -33,6 +35,7 @@ jobs:
  touch docs2/_build/html/.nojekyll
 
  - name: Deploy
+ if: github.ref == 'refs/heads/main'
  uses: JamesIves/github-pages-deploy-action@v4
  with:
  folder: docs2/_build/html # The folder the action should deploy.