Push to fix no redirect to default branch

tariromukute · Aug 13, 2024 · 5d3fc6f · 5d3fc6f
1 parent 09caea1
commit 5d3fc6f
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/.github/workflows/build_dev.yml b/.github/workflows/build_dev.yml
@@ -32,8 +32,6 @@ jobs:
           pip install mkdocs-markdownextradata-plugin
           pip install mkdocs-macros-plugin
           pip install mike
-      - run: mike delete --all
       - name: Build Docs Website
         run: |
-          mike deploy --push latest
-          mike set-default latest
+          mike set-default --push latest