diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 3e5b28431..2df3183a2 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -19,5 +19,6 @@ jobs:
           git config --global user.name "ci-bot"
           git config --global user.email "ci-bot@example.com"
           git fetch origin gh-pages
-          mike deploy --push -f -u v1.12.x dev -t "v1.12.x (dev)"
+          mike deploy --push -f -u v1.12.x current stable -t "v1.12.x (current)"
+          mike set-default stable --push
           mike list