From 968fbe760ca03644ba9839dfac6af052009def0e Mon Sep 17 00:00:00 2001 From: Dragos Andriciuc Date: Thu, 13 Nov 2025 15:01:33 +0200 Subject: [PATCH 1/2] Updated GitHub action to show the version instead of latest alias (17) --- .github/workflows/main.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 674b36b4a..50027d75d 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -44,7 +44,7 @@ jobs: run: | mike deploy 17 -b publish -p mike set-default 17 -b publish -p - mike retitle 17 "17 (LATEST)" -b publish -p + mike retitle 17 "17.6" -b publish -p From 9ab31ae88e4c1f4e0d3310655b305660a0e516a7 Mon Sep 17 00:00:00 2001 From: Dragos Andriciuc Date: Thu, 20 Nov 2025 17:00:36 +0200 Subject: [PATCH 2/2] Remove default version setting in deployment workflow Removed setting default version for deployment. --- .github/workflows/main.yml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 50027d75d..1b4fa88a0 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -43,9 +43,8 @@ jobs: - name: Deploy docs run: | mike deploy 17 -b publish -p - mike set-default 17 -b publish -p mike retitle 17 "17.6" -b publish -p - \ No newline at end of file +