Add pdm run to mike execution command

argilla-io · Apr 9, 2024 · 0d00016 · 0d00016
1 parent 1e125ce
commit 0d00016
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -35,7 +35,7 @@ jobs:
         run: |
           git config --global user.name "${{ github.actor }}"
           git config --global user.email "${{ github.actor }}@users.noreply.github.com"
-      - run: mike deploy dev --push
+      - run: pdm run mike deploy dev --push
         if: github.ref == 'refs/heads/main'
-      - run: mike deploy ${{ github.ref_name }} latest --update-aliases --push
+      - run: pdm run mike deploy ${{ github.ref_name }} latest --update-aliases --push
         if: startsWith(github.ref, 'refs/tags/')