Try another time with mike

Author: andrewjong

.github/workflows/deploy_docs_from_main.yaml

@@ -29,4 +29,6 @@ jobs:
           git config --global user.name "Docs Deploy"
           git config --global user.email "[email protected]"
       - name: Build Docs Website
-        run: mike deploy --push main
+        run: |
+          mike deploy --push main
+          mike set-default main --push

mkdocs.yml

@@ -11,6 +11,7 @@ exclude_docs: |
 extra:
   version:
     provider: mike
+    default: main
   generator: false
   social:
     - icon: fontawesome/brands/github