Use mike for deployments in CI

missionpinball · Aug 12, 2024 · ee475bd · ee475bd
1 parent bc10f3a
commit ee475bd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
@@ -29,4 +29,5 @@ jobs:
         run: python build_tools/generate_showcase_pages.py
 
       - name: Build and deploy site
-        run: mkdocs gh-deploy --force
+        #run: mkdocs gh-deploy --force
+        run: mike deploy 0.57 latest