Merge pull request #3 from AlexKontorovich/blueprint_fixes

Blueprint fixes
AlexKontorovich · Jan 22, 2024 · c1e8aac · c1e8aac
2 parents 4ea5e69 + a3c850d
commit c1e8aac
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git 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:
@@ -49,6 +50,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

diff --git 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
+plastexdepgraph @ git+https://github.com/PatrickMassot/plastexdepgraph
+plastexshowmore @ git+https://github.com/PatrickMassot/plastexshowmore
+leanblueprint @ git+https://github.com/PatrickMassot/leanblueprint.git