Allow manually running publish workflow (#790)

getodk · Aug 13, 2024 · 6889836 · 6889836
1 parent 8b6e745
commit 6889836
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -1,6 +1,7 @@
 name: Publish
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - master