From 8bb3308a5a1979d89d0bbbc01bdc44d64cce7808 Mon Sep 17 00:00:00 2001
From: ClementTsang <34804052+ClementTsang@users.noreply.github.com>
Date: Thu, 15 Jan 2026 19:41:09 -0500
Subject: [PATCH] ci: fix missing mike deploy in post_release

---
 .github/workflows/post_release.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/post_release.yml b/.github/workflows/post_release.yml
index dafe3e21..cf2bde32 100644
--- a/.github/workflows/post_release.yml
+++ b/.github/workflows/post_release.yml
@@ -77,6 +77,7 @@ jobs:
           OLD_STABLE_VERSION=$(mike list stable | grep -Po '(\d{1,3}\.\d{1,3}\.\d{1,3})' | head -n1)
           echo ${OLD_STABLE_VERSION}
           mike retitle --push stable ${OLD_STABLE_VERSION}
+          mike deploy --push --update-aliases ${RELEASE_VERSION} stable
 
   chocolatey:
     needs: [initialize]