fix ci

patchlevel · Oct 1, 2024 · e0fe6a7 · e0fe6a7
1 parent 26c8203
commit e0fe6a7
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/docs-build.yml b/.github/workflows/docs-build.yml
@@ -75,7 +75,7 @@ jobs:
           then
             # Here we deploy a new latest version
             mike deploy latest ${{ steps.current.outputs.result }} --config-file docs/mkdocs.yml --update-aliases --alias-type=redirect --push --remote doc
-            mike retitle latest "${{ steps.current.outputs.result }} (latest)"
+            mike retitle latest "${{ steps.current.outputs.result }} (latest)" --config-file docs/mkdocs.yml
           else
             # Here we deploy a version that's not the latest one
             mike deploy ${{ steps.current.outputs.result }} --config-file docs/mkdocs.yml --push --remote doc
@@ -84,7 +84,7 @@ jobs:
             if [ "$current_major" -gt "$latest_major" ] || \
             { [ "$current_major" -eq "$latest_major" ] && [ "$current_minor" -gt "$latest_minor" ]; }
             then
-              mike retitle ${{ steps.current.outputs.result }} "${{ steps.current.outputs.result }} (dev)"
+              mike retitle ${{ steps.current.outputs.result }} "${{ steps.current.outputs.result }} (dev)" --config-file docs/mkdocs.yml
             fi
           fi