Allow manual trigger of the deployment workflow

JabRef · Dec 24, 2020 · 6a2a512 · 6a2a512
1 parent 4ed0514
commit 6a2a512
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deployment.yml b/.github/workflows/deployment.yml
@@ -1,6 +1,7 @@
 name: Deployment
 
 on:
+  workflow_dispatch:
   push:
     branches:
       - master