Allow manual release dispatch

Federico De Ponte · Federico De Ponte · commit a61a12e24097 · 2026-03-14T11:13:00.000+01:00
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -4,6 +4,7 @@ on:
   push:
     tags:
       - "v*"
+  workflow_dispatch:
 
 jobs:
   build:

-Original file line number
+Diff line change
   push:
     tags:
       - "v*"
 +  workflow_dispatch:
 jobs:
   build: