diff --git a/.github/workflows/push.yml b/.github/workflows/push.yml index ce8a8bd3..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: @@ -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 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