From a51e415b730013e80fd61b48ff0f90050aa4812c Mon Sep 17 00:00:00 2001 From: Joachim Ansorg Date: Fri, 27 Dec 2024 17:32:31 +0100 Subject: [PATCH] Allow to manually execute a GitHub Actions workflow --- .github/workflows/CI.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 092187d..eee3ad5 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -1,6 +1,7 @@ name: "bashdb CI" on: push: + workflow_dispatch: jobs: tests: