From 28bb9b0f5d35d12468f5fe56e3d86f1285b9198c Mon Sep 17 00:00:00 2001
From: Nikolai Kudasov <nickolay.kudasov@gmail.com>
Date: Thu, 29 Jun 2023 14:46:44 +0300
Subject: [PATCH] Update aliases when deploying docs with mike

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

diff --git a/.github/workflows/mkdocs.yml b/.github/workflows/mkdocs.yml
index 20eadab0c..68020e071 100644
--- a/.github/workflows/mkdocs.yml
+++ b/.github/workflows/mkdocs.yml
@@ -47,7 +47,7 @@ jobs:
       - name: 🚀 Deploy with mike (${{ github.ref_name }}, latest)
         if: ${{ github.ref_name != 'develop' }}
         run: |
-          mike deploy --rebase --push --config-file docs/mkdocs.yml ${{ github.ref_name }} latest
+          mike deploy --rebase --push --update-aliases --config-file docs/mkdocs.yml ${{ github.ref_name }} latest
 
       - name: 🚀 Deploy with mike (${{ github.ref_name }})
         if: ${{ github.ref_name == 'develop' }}