From 688d6bb2bb4b380231de69427331b376cbb2568f Mon Sep 17 00:00:00 2001
From: Emilien Escalle <emilien.escalle@escemi.com>
Date: Fri, 10 Nov 2023 18:38:42 +0100
Subject: [PATCH] ci: add workflow_dispatch trigger to publish doc

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

diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
index 5ad77b96..3abd04fe 100644
--- a/.github/workflows/publish.yml
+++ b/.github/workflows/publish.yml
@@ -3,6 +3,7 @@ name: Publish
 on:
   push:
     tags: [v*]
+  workflow_dispatch:
 
 jobs:
   gh-release: