Merge branch 'master' of github.com:RemyDegenne/testing-lower-bounds

RemyDegenne · Mar 20, 2024 · f182647 · f182647
2 parents c47fec3 + d276238
commit f182647
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/blueprint.yml b/.github/workflows/blueprint.yml
@@ -59,7 +59,7 @@ jobs:
             source env/bin/activate
             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 git+https://github.com/PatrickMassot/leanblueprint.git@client
+            pip install leanblueprint
             leanblueprint pdf
             mkdir docs
             cp blueprint/print/print.pdf docs/blueprint.pdf
@@ -86,4 +86,4 @@ jobs:
 
       - name: Make sure the cache works
         run: |
-          mv docs/docs .lake/build/doc
+          mv docs/docs .lake/build/doc