From f4680b1d0ea1db7cd9f4ba98cc8c762ae8d0702f Mon Sep 17 00:00:00 2001 From: Joachim Ansorg Date: Mon, 30 Dec 2024 14:39:46 +0100 Subject: [PATCH] Allow manual execution of GitHub Actions --- .github/workflows/CI.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 403f480..b31cdb3 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -1,6 +1,7 @@ name: "bashdb CI" on: push: + workflow_dispatch: jobs: linux: