try allow empty on deploy

Dyalog · Feb 18, 2025 · 62bdc3f · 62bdc3f
1 parent 4cf72a0
commit 62bdc3f
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
@@ -48,4 +48,4 @@ jobs:
           git fetch origin gh-pages --depth=1
           
           mike deploy ${MAJMIN}
-          mike alias --update-aliases --push ${MAJMIN} dev
+          mike alias --update-aliases --push --allow-empty ${MAJMIN} dev