manual trigger for exporter

ndem0 · dario-coscia · commit df27f24ace29 · 2025-04-17T11:13:38.000+02:00
diff --git 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"
