fix workflow and call main page home

cioos-siooc · Aug 15, 2023 · e1ed32d · e1ed32d
1 parent 3d46e64
commit e1ed32d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/deploy-docs.yaml b/.github/workflows/deploy-docs.yaml
@@ -32,8 +32,8 @@ jobs:
           git config --global user.email "${GITHUB_ACTOR}@users.noreply.github.com"
       - run: |
           if [[ "${{github.ref_name}}" == "main" ]]; then
-              mike deploy main --push --force
+              mike deploy main
           else
-              mike deploy dev --push --force
+              mike deploy dev
           fi
           mike set-default dev
diff --git a/mkdocs.yml b/mkdocs.yml
@@ -73,7 +73,7 @@ markdown_extensions:
         emoji_generator: !!python/name:materialx.emoji.to_svg
 
 nav:
-  - Welcome: index.md
+  - Home: index.md
   - Install: install.md
   - How to: how-to.md
   - Commands (CLI): cli.md