Merge pull request #926 from kcormi/versioning_docs

Fix mike deploy command in github action
cms-analysis · Mar 26, 2024 · 38cd5d1 · 38cd5d1
2 parents 983289c + e67a10c
commit 38cd5d1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 [email protected]
-        mike deploy --push latest 
+        mike deploy --push v9.2.0 latest