From 113f946572ae0ebea95f1642855ecda13fd25c3c Mon Sep 17 00:00:00 2001
From: "abby.huang" <78209557+abby-cyber@users.noreply.github.com>
Date: Tue, 26 Apr 2022 16:18:55 +0800
Subject: [PATCH] mike set default for 3.1.0 (#1295)

---
 .github/workflows/deploy.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index e068738e44e..ae2da29acbb 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -40,7 +40,7 @@ jobs:
           # mike delete v3.1.0 -p
           mkdocs build -v # this is a test
           mike deploy 3.1.0 -p --rebase
-          # (unhide after publish) mike set-default 3.1.0 -p --rebase
+          mike set-default 3.1.0 -p --rebase
           mike list
 
       # - name: Deploy