deploy main as default version

Dyalog · Oct 1, 2024 · 463b81d · 463b81d
1 parent 251d3b3
commit 463b81d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/mkdocs-mike-deploy.yml b/.github/workflows/mkdocs-mike-deploy.yml
@@ -40,4 +40,4 @@ jobs:
           git config user.name "GitHub Actions CI Publisher"
           git config user.email "[email protected]"
           
-          mike deploy
+          mike deploy main