From 1c3f29be697cd7278ee833c6d46442fb779b781d Mon Sep 17 00:00:00 2001
From: Erik Schierboom <erik_schierboom@hotmail.com>
Date: Fri, 8 Mar 2024 13:06:12 +0100
Subject: [PATCH] ci: allow running CI workflow manually (#164)

Co-authored-by: ee7 <45465154+ee7@users.noreply.github.com>
---
 .github/workflows/ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index e5e5235..95ef6ee 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -2,6 +2,7 @@ name: CI
 on:
   push:
   pull_request:
+  workflow_dispatch:
 env:
   NIM_VERSION: 2.0.0