From 8f995bfb17c10a67912f908d9e6af4f0cd8ab432 Mon Sep 17 00:00:00 2001
From: Elco Koks <33319978+ElcoK@users.noreply.github.com>
Date: Fri, 20 Feb 2026 16:10:30 +0100
Subject: [PATCH] ci: add workflow_dispatch and fix mike set-default

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 4b06b77..c1ce955 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -5,6 +5,7 @@ on:
       - main
     tags:
       - "v*"
+  workflow_dispatch:
 permissions:
   contents: write
 jobs: