From 8ff77c9db655f8acadebb61ae8cccb270f671689 Mon Sep 17 00:00:00 2001
From: Andrea Settimi <andreasettimi39@gmail.com>
Date: Mon, 30 Dec 2024 15:44:19 +0100
Subject: [PATCH] WIP: allowing ddocs deploy manual trigger

---
 .github/workflows/doc-build.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/doc-build.yml b/.github/workflows/doc-build.yml
index 7902e9df..de44440d 100644
--- a/.github/workflows/doc-build.yml
+++ b/.github/workflows/doc-build.yml
@@ -15,6 +15,8 @@ on:
       - 'deps/**'
       - 'docs/**'
       - 'materials/**'
+  workflow_dispatch: # allows manual trigger
+
 
 jobs:
   build-doc: