From fbe4e0e4791da742557ffb0874a4048f245d4c0f Mon Sep 17 00:00:00 2001
From: Connor <c.ward20@imperial.ac.uk>
Date: Mon, 11 Nov 2024 11:36:27 +0000
Subject: [PATCH] Test modified github workflow

---
 .github/workflows/docs.yml | 32 +++++++++++++++++---------------
 1 file changed, 17 insertions(+), 15 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 3c4e0d18..6a9f7aad 100644
--- a/.github/workflows/docs.yml
+++ b/.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,7 +33,7 @@ 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
@@ -39,19 +41,19 @@ jobs:
         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