update docs workflow

.github/workflows/docs.yml

@@ -4,6 +4,9 @@ on:
   push:
     paths:
       - 'docs/**'
+  pull_request:
+    paths:
+      - 'docs/**'
 
 jobs:
   docs:
@@ -29,6 +32,7 @@ jobs:
         make html
         
     - name: Deploy to GitHub pages
+      if: ${{ github.event_name == 'push' }}
       uses: JamesIves/github-pages-deploy-action@3.7.1
       with:
         ACCESS_TOKEN: ${{ secrets.DOC_DEPLOY_TOKEN }}

.github/workflows/docs_test.yml

@@ -1,29 +0,0 @@
-name: docs_test
-
-on: 
-  pull_request:
-    paths:
-      - 'docs/**'
-
-jobs:
-  docs_test:
-    runs-on: ubuntu-latest
-    name: Test document for pull requests
-
-    steps:
-    - name: Checkout
-      uses: actions/checkout@master
-    
-    - name: Install sphinx and manim env
-      run: |
-        pip3 install --upgrade pip
-        sudo apt install python3-setuptools
-        pip3 install -r docs/requirements.txt
-        pip3 install -r requirements.txt
-    
-    - name: Build document with Sphinx
-      run: |
-        cd docs
-        export PATH="$PATH:/home/runner/.local/bin"
-        export SPHINXBUILD="python3 -m sphinx"
-        make html