From 6e7ed639100070feed4312d7086ab21997e66b1d Mon Sep 17 00:00:00 2001 From: Mark Dickinson Date: Thu, 15 May 2025 15:19:08 +0100 Subject: [PATCH] Allow executing the CI manually --- .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 071a683..8d74833 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -1,6 +1,6 @@ name: CI -on: pull_request +on: [pull_request, workflow_dispatch] jobs: main: