From e67a10c7253e3c87bef0ca34f4f34a01ec1f92bd Mon Sep 17 00:00:00 2001
From: Kyle Cormier <kyle.cormier@physik.uzh.ch>
Date: Tue, 26 Mar 2024 16:55:47 +0100
Subject: [PATCH] Fix mike deploy command in github action

---
 .github/workflows/docs.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 5beb14850bf..6433aa1baf6 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -22,4 +22,4 @@ jobs:
         git fetch origin gh-pages --depth=1
         git config user.name ci-bot
         git config user.email ci-bot@example.com
-        mike deploy --push latest 
+        mike deploy --push v9.2.0 latest