From ee475bdd9853bb9e10245a4e2f6190855532fa07 Mon Sep 17 00:00:00 2001
From: Anthony van Winkle <avanwinkle@users.noreply.github.com>
Date: Sun, 11 Aug 2024 17:32:03 -0700
Subject: [PATCH] Use mike for deployments in CI

---
 .github/workflows/deploy.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index 6bfef9204d..9b6377c2d4 100644
--- 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