From 462794520eb25e14146a3e3dac3b448516e79f1b Mon Sep 17 00:00:00 2001
From: maxid <97409287+maxdorninger@users.noreply.github.com>
Date: Sun, 8 Feb 2026 19:43:13 +0100
Subject: [PATCH] update docs workflow

---
 .github/workflows/docs.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index fd66375..ec70aac 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -6,6 +6,11 @@ on:
     tags:
       - v*
   workflow_dispatch:
+    inputs:
+      set_default_alias:
+        description: 'Alias to set as default (e.g. latest, master)'
+        required: false
+        default: 'latest'
 
 permissions:
   contents: write
@@ -49,4 +54,9 @@ jobs:
         run: |
           version=${GITHUB_REF#refs/tags/}
           mike deploy --push --update-aliases $version latest --title "$version"
+          mike set-default --push latest
 
+      - name: Set Default (Manual)
+        if: github.event_name == 'workflow_dispatch' && github.event.inputs.set_default_alias != ''
+        run: |
+          mike set-default --push ${{ github.event.inputs.set_default_alias }}