From 32f58502de5d7cf966d0943cd2cc1cdb1982717f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Mat=C3=BA=C5=A1=20N=C3=A1me=C5=A1n=C3=BD?=
 <matus@namesny.com>
Date: Tue, 23 Sep 2025 13:46:58 +0200
Subject: [PATCH] Update docs.yml

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 68b708b..e7cb2da 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -74,6 +74,10 @@ jobs:
       - name: Deploy development version
         run: |
           mike deploy --push --update-aliases dev latest
+          # Set dev as default if no default exists
+          if ! mike list | grep -q "default"; then
+            mike set-default --push dev
+          fi
 
   deploy-release:
     runs-on: ubuntu-latest