ci: Added documentation build to PR

.github/workflows/documentation.yml

@@ -1,28 +1,30 @@
-
 name: Documentation
+
 on:
   push:
-    branches:
-    - main
+    branches: [main]
+  pull_request:
+    branches: [main]
+
 jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-    - name: Checkout
-      uses: actions/checkout@master
-      with:
-        fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
-    - name: Install dependencies
-      run: |
-        python -m pip install --upgrade pip
-        pip install -r requirements.txt
-        pip install sphinx furo sphinx-copybutton sphinxext-opengraph
-    - name: Build and Commit
-      uses: sphinx-notes/pages@master
-      with:
-        documentation_path: docs
-    - name: Push changes
-      uses: ad-m/[email protected]
-      with:
-        github_token: ${{ secrets.SPHINX_DOCUMENTATION }}
-        branch: gh-pages
+      - name: Checkout
+        uses: actions/checkout@master
+        with:
+          fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r requirements.txt
+      - name: Build and Commit
+        uses: sphinx-notes/[email protected]
+        with:
+          documentation_path: docs
+      - name: Push changes
+        if: ${{ github.event_name == 'push' }}
+        uses: ad-m/[email protected]
+        with:
+          github_token: ${{ secrets.SPHINX_DOCUMENTATION }}
+          branch: gh-pages