ci: validate docs (#836)

eraser-dev · Aug 23, 2023 · c1915ba · c1915ba
1 parent f5942b1
commit c1915ba
Showing 1 changed file with 9 additions and 2 deletions.
diff --git a/.github/workflows/deploy_docs.yaml b/.github/workflows/deploy_docs.yaml
@@ -1,4 +1,4 @@
-name: Deploy to GitHub Pages
+name: Generate docs website to GitHub Pages
 
 on:
   push:
@@ -7,13 +7,19 @@ on:
     paths:
       - '.github/workflows/deploy_docs.yaml'
       - 'docs/**'
+  pull_request:
+    branches:
+      - main
+    paths:
+      - '.github/workflows/deploy_docs.yaml'
+      - 'docs/**'
 
 permissions:
   contents: read
 
 jobs:
   deploy:
-    name: Deploy to GitHub Pages
+    name: Generate docs website to GitHub Pages
     runs-on: ubuntu-latest
     permissions:
       contents: write
@@ -49,6 +55,7 @@ jobs:
       - run: yarn build
 
       - name: Deploy to GitHub Pages
+        if: github.ref == 'refs/heads/main' && github.event_name == 'push' && github.repository == 'eraser-dev/eraser'
         uses: peaceiris/actions-gh-pages@373f7f263a76c20808c831209c920827a82a2847 # v3.9.3
         if: ${{ github.ref == 'refs/heads/main' }}
         with: