From ed62d6c6852aa8045696b5cbe0e0f04c1db7d605 Mon Sep 17 00:00:00 2001 From: Grim Schjetne Date: Thu, 10 Aug 2023 16:57:50 +0200 Subject: [PATCH] Add workflow_dispatch trigger to CI.yml --- .github/workflows/CI.yml | 1 + 1 file changed, 1 insertion(+) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index c630821..37e58f1 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -11,6 +11,7 @@ name: CI # Controls when the action will run. Triggers the workflow on push for any branch, and # pull requests to master on: + workflow_dispatch: push: pull_request: branches: [ master ]