Allow to trigger GitHub CI workflow manually

(cherry picked from commit ddd4920)
hpi-swa · Sep 11, 2022 · e643ab3 · e643ab3
1 parent d947137
commit e643ab3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [ push, pull_request ]
+on: [ push, pull_request, workflow_dispatch ]
 
 jobs:
   build: