Try fixing page deploy.

Andre601 · Mar 17, 2023 · 116714f · 116714f
1 parent 06f025c
commit 116714f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/docs-deploy-push.yml b/.github/workflows/docs-deploy-push.yml
@@ -32,5 +32,4 @@ jobs:
         run: |
           git config user.name "github-actions[bot]"
           git config user.email "[email protected]"
-          mike deploy dev
-          mike set-default dev --push
+          mike deploy dev --push