MAINT/DOC fix and refactor doc build workflow (#34)

CSCI-SHU-410-SE-Project · Apr 16, 2024 · 04170dc · 04170dc
1 parent 72383d5
commit 04170dc
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 53 deletions.
diff --git a/.github/workflows/doc-test.yaml b/.github/workflows/doc-test.yaml
diff --git a/.github/workflows/doc-deploy.yaml → .github/workflows/doc.yaml b/.github/workflows/doc-deploy.yaml → .github/workflows/doc.yaml
@@ -1,9 +1,12 @@
-name: Deploy docs to GitHub Pages
+name: Doc build and deploy
 
 on:
   push:
     branches:
       - main
+  pull_request:
+    branches:
+      - main
 
 jobs:
   build:
@@ -51,7 +54,9 @@ jobs:
           npm run build
 
       - name: Copy Rust docs to build directory
-        run: cp -r src-tauri/target/doc website/build/rustdoc
+        run: |
+          rm -f src-tauri/target/doc/.lock
+          cp -r src-tauri/target/doc website/build/rustdoc
 
       - name: Upload build artifact
         uses: actions/upload-pages-artifact@v3
@@ -60,6 +65,7 @@ jobs:
 
   deploy:
     needs: build
+    if: github.event_name == 'push' # Do not deploy on PRs
     permissions:
       pages: write
       id-token: write