Test modified github workflow

.github/workflows/docs.yml

@@ -8,6 +8,8 @@ on:
   push:
     branches: ["master", "dham/delete_dolfin_adjoint"]
 
+  pull:
+
   # Allows you to run this workflow manually from the Actions tab
   workflow_dispatch:
 
@@ -31,27 +33,27 @@ jobs:
       - uses: actions/checkout@v3
       - name: Install
         run: |
-          python -m pip install -e '.[doc]'
+          python -m pip install --user -e '.[doc]'
       - name: Setup Pages
         id: pages
         uses: actions/configure-pages@v3
       - name: Build with sphinx
         run: |
           cd docs
           make html
-      - name: Upload artifact
-        uses: actions/upload-pages-artifact@v2
-        with:
-          path: ./docs/build/html
+      # - name: Upload artifact
+      #   uses: actions/upload-pages-artifact@v2
+      #   with:
+      #     path: ./docs/build/html
 
   # Deployment job
-  deploy:
-    environment:
-      name: github-pages
-      url: ${{ steps.deployment.outputs.page_url }}
-    runs-on: ubuntu-latest
-    needs: build
-    steps:
-      - name: Deploy to GitHub Pages
-        id: deployment
-        uses: actions/deploy-pages@v2
+  # deploy:
+  #   environment:
+  #     name: github-pages
+  #     url: ${{ steps.deployment.outputs.page_url }}
+  #   runs-on: ubuntu-latest
+  #   needs: build
+  #   steps:
+  #     - name: Deploy to GitHub Pages
+  #       id: deployment
+  #       uses: actions/deploy-pages@v2