Allow running release workflow manually

edgedb · Jun 20, 2024 · 7141d3c · 7141d3c
1 parent 6a8226d
commit 7141d3c
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -1,6 +1,9 @@
 name: Release
 
 on:
+ workflow_dispatch:
+ inputs: {}
+
  pull_request:
  branches:
  - "master"