From 9236ddfdef08eaa7d4fcd3ca8ff2bd29100f52ff Mon Sep 17 00:00:00 2001 From: Connor Ward Date: Wed, 24 Jun 2026 14:48:40 +0100 Subject: [PATCH 1/3] Fix build for jupytext WIP --- .github/workflows/website.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml index 15bd5b6..f3a35b4 100644 --- a/.github/workflows/website.yml +++ b/.github/workflows/website.yml @@ -23,6 +23,10 @@ jobs: container: image: firedrakeproject/firedrake-vanilla-default:dev-release steps: + - install sys + run: | + apt-get update + apt-get install -y pandoc # Pull the latest changes from the release branch, as we may have just changed to it - name: Update Firedrake run: | From ff095344a349501626560db3105081561f3dd8e2 Mon Sep 17 00:00:00 2001 From: Connor Ward Date: Wed, 24 Jun 2026 14:49:41 +0100 Subject: [PATCH 2/3] Apply suggestion from @connorjward --- .github/workflows/website.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml index f3a35b4..44e6632 100644 --- a/.github/workflows/website.yml +++ b/.github/workflows/website.yml @@ -23,7 +23,7 @@ jobs: container: image: firedrakeproject/firedrake-vanilla-default:dev-release steps: - - install sys + - name: install sys run: | apt-get update apt-get install -y pandoc From 686db0876e4700999000bcda00b466d2f9de3bbd Mon Sep 17 00:00:00 2001 From: Connor Ward Date: Wed, 24 Jun 2026 15:10:23 +0100 Subject: [PATCH 3/3] Add pandoc as extra docs dep --- .github/workflows/website.yml | 6 +----- 1 file changed, 1 insertion(+), 5 deletions(-) diff --git a/.github/workflows/website.yml b/.github/workflows/website.yml index 44e6632..6e73491 100644 --- a/.github/workflows/website.yml +++ b/.github/workflows/website.yml @@ -23,10 +23,6 @@ jobs: container: image: firedrakeproject/firedrake-vanilla-default:dev-release steps: - - name: install sys - run: | - apt-get update - apt-get install -y pandoc # Pull the latest changes from the release branch, as we may have just changed to it - name: Update Firedrake run: | @@ -41,7 +37,7 @@ jobs: - name: Install system dependencies run: | apt-get update - apt-get -y install inkscape texlive-full + apt-get -y install inkscape texlive-full pandoc - name: Build documentation working-directory: /opt/firedrake/docs