From a7ebfbf137b828dd10f9ba2e19232f51a17c7f12 Mon Sep 17 00:00:00 2001 From: Federico Di Pierro Date: Fri, 13 May 2022 16:50:05 +0200 Subject: [PATCH] update(ci): add `workflow_dispatch` to be able to manually trigger ci. Signed-off-by: Federico Di Pierro --- .github/workflows/ci.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 2d05c7f2..6166e686 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -4,6 +4,7 @@ on: branches: [master] push: branches: [master] + workflow_dispatch: jobs: build-minimal: