Allow to trigger GitHub CI workflow manually

j4yk · j4yk · commit e643ab337ae7 · 2022-09-11T16:06:02.000+02:00
(cherry picked from commit ddd4920)
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:
