diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml index f009fae..b7232b2 100644 --- a/.github/workflows/blueprint.yml +++ b/.github/workflows/blueprint.yml @@ -26,7 +26,10 @@ jobs: run: ~/.elan/bin/lake exe cache get || true - name: Build project - run: ~/.elan/bin/lake build Book + run: | + ~/.elan/bin/lake build Book + pip install smt-portfolio + - name: Cache mathlib docs uses: actions/cache@v3 @@ -60,7 +63,6 @@ jobs: pip install --upgrade pip requests wheel pip install pygraphviz --global-option=build_ext --global-option="-L/usr/lib/graphviz/" --global-option="-R/usr/lib/graphviz/" pip install leanblueprint - pip install smt-portfolio leanblueprint pdf mkdir docs cp blueprint/print/print.pdf docs/blueprint.pdf