ci: fix missing mike deploy in post_release

2026-05-04 14:00:38 +00:00 · 2026-01-15 19:41:09 -05:00
parent b5b55ddc8c
commit 8bb3308a5a
1 changed files with 1 additions and 0 deletions
@@ -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]