Github CI workflow: allow to be manually run

comminutus · Aug 25, 2024 · d866f74 · d866f74
1 parent 333e450
commit d866f74
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -11,6 +11,7 @@ on:
   pull_request:
     branches:
       - master
+  workflow_dispatch:
 
 env:
   REGISTRY: ghcr.io