From 34311816ff5343c17b0e979787e09e18cf1faa99 Mon Sep 17 00:00:00 2001 From: Matthijs van der Burgh Date: Mon, 7 Oct 2024 13:59:36 +0200 Subject: [PATCH] (actions) add workflow_dispatch trigger --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index a50f285f..bb51243a 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,6 @@ name: CI -on: [push, pull_request] +on: [push, pull_request, workflow_dispatch] jobs: lint: