From 79a71999858c638cbbec902c3283b1fdebc37979 Mon Sep 17 00:00:00 2001 From: Nicola Demo Date: Thu, 20 Mar 2025 11:39:57 +0100 Subject: [PATCH] manual trigger for exporter --- .github/workflows/tutorial_exporter.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/tutorial_exporter.yml b/.github/workflows/tutorial_exporter.yml index 30de93d..ee6384f 100644 --- a/.github/workflows/tutorial_exporter.yml +++ b/.github/workflows/tutorial_exporter.yml @@ -1,6 +1,7 @@ name: "Export Tutorials" on: + workflow_dispatch: push: branches: - "dev"