Allow running release workflow manually

mickvangelderen · mickvangelderen · commit b324deadb31d · 2025-01-16T11:22:57.000-08:00
diff --git a/.github/workflows/release.yaml b/.github/workflows/release.yaml
@@ -7,6 +7,7 @@ on:
   push:
     tags:
       - launch/[0-9]+.[0-9]+.[0-9]+
+  workflow_dispatch:
 
 jobs:
   create-release:
