From 924fda7f4e65298b8bdcecadfe08db8dc2def0ad Mon Sep 17 00:00:00 2001 From: Tomasz Gorochowik Date: Wed, 11 Oct 2023 11:52:55 +0200 Subject: [PATCH] CI: add workflow_dispatch trigger Signed-off-by: Tomasz Gorochowik --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 362375b..04b195d 100644 --- 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: