fix: mike command

Author: psteinroe

.github/workflows/deploy_dev_docs.yml

@@ -32,4 +32,4 @@ jobs:
           git config user.name 'github-actions[bot]'
           git config user.email 'github-actions[bot]@users.noreply.github.com'
       - name: Build Docs Website
-        run: uv run mike deploy --push develop
+        run: uv mike deploy --push develop

.github/workflows/deploy_release_docs.yml

@@ -30,4 +30,4 @@ jobs:
           git config user.name 'github-actions[bot]'
           git config user.email 'github-actions[bot]@users.noreply.github.com'
       - name: Build Docs Website
-        run: uv run mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest
+        run: uv mike deploy --push --update-aliases ${{ github.event.release.tag_name }} latest