From 442f279ef170363ebd7fa285beba5ae26bbbc53c Mon Sep 17 00:00:00 2001 From: Ian Jauslin Date: Mon, 22 Jan 2024 14:44:01 -0500 Subject: [PATCH 1/3] Upgrade pip in workflow --- .github/workflows/push.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index ce8a8bd3..78e21d52 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -49,6 +49,10 @@ jobs: python-version: '3.9' cache: 'pip' # cache pip dependencies + - name: Update pip + run: | + pip install --upgrade pip + - name: Install blueprint apt dependencies run: | sudo apt-get update From 673ffe863d561c7f74c0d43132defff6f84d6f24 Mon Sep 17 00:00:00 2001 From: Ian Jauslin Date: Mon, 22 Jan 2024 14:46:56 -0500 Subject: [PATCH 2/3] blueprint_fixes branch should trigger page build --- .github/workflows/push.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index 78e21d52..55682538 100644 --- a/.github/workflows/push.yml +++ b/.github/workflows/push.yml @@ -2,6 +2,7 @@ on: push: branches: - main + - blueprint_fixes # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages permissions: From a3c850dc33e97620653e2cbdfe56f55a2a1b4d3a Mon Sep 17 00:00:00 2001 From: Ian Jauslin Date: Mon, 22 Jan 2024 14:53:44 -0500 Subject: [PATCH 3/3] Blueprint: New plastex requirements --- blueprint/requirements.txt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/blueprint/requirements.txt b/blueprint/requirements.txt index cc571062..61e0fe0b 100644 --- a/blueprint/requirements.txt +++ b/blueprint/requirements.txt @@ -1,2 +1,4 @@ plasTeX @ git+https://github.com/plastex/plastex.git -leanblueprint @ git+https://github.com/PatrickMassot/leanblueprint.git \ No newline at end of file +plastexdepgraph @ git+https://github.com/PatrickMassot/plastexdepgraph +plastexshowmore @ git+https://github.com/PatrickMassot/plastexshowmore +leanblueprint @ git+https://github.com/PatrickMassot/leanblueprint.git