CI: add workflow_dispatch trigger

Signed-off-by: Tomasz Gorochowik <[email protected]>
antmicro · Oct 11, 2023 · 924fda7 · 924fda7
1 parent bf03dcc
commit 924fda7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -3,6 +3,7 @@ name: "General CI checks"
 on:
   push:
   pull_request:
+  workflow_dispatch:
 
 jobs:
   installation-test: