Update update_documentation.yml

LeoHeidweiler · Jul 14, 2024 · 6e35ef0 · 6e35ef0
1 parent d7664d7
commit 6e35ef0
Showing 1 changed file with 2 additions and 7 deletions.
diff --git a/.github/workflows/update_documentation.yml b/.github/workflows/update_documentation.yml
@@ -44,15 +44,10 @@ jobs:
       - name: Run Makefile
         run: make
 
-      - name: Install mkdocs and mike
-        run: |
-          python -m pip install mkdocs
-          python -m pip install mike
-
       - name: Deploy documentation to GitHub Pages
         run: |
-          mike set-default develop
-          mike deploy develop -p
+          poetry run mike set-default develop
+          poetry run mike deploy develop -p
 
       - name: Configure Git
         run: |