From 1225ecac76b50ccc9eca3ec77d346d72dfab3b9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Costa?= <andre_miguel_costa@hotmail.com>
Date: Thu, 23 Apr 2026 12:00:09 +0200
Subject: [PATCH] ci(docs): allow manually triggering the workflow (#10004)

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

diff --git a/.github/workflows/compile_docs.yml b/.github/workflows/compile_docs.yml
index 48d90a01fa..cf45dd2d55 100644
--- a/.github/workflows/compile_docs.yml
+++ b/.github/workflows/compile_docs.yml
@@ -1,5 +1,6 @@
 name: Build Docs
 on:
+  workflow_dispatch: # allow manual triggering
   push:
     branches:
       - master