From 5412400cbe4dafc3257d448f149049e22085a264 Mon Sep 17 00:00:00 2001
From: Iustin Pop <iustin@k1024.org>
Date: Thu, 8 Feb 2024 23:53:10 +0000
Subject: [PATCH] Allow manual CI runs

---
 .github/workflows/ci.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 6b1c9e7..980dccc 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,6 +8,8 @@ on:
   pull_request:
     branches:
       - main
+  # Allow manual triggering
+  workflow_dispatch:
   # Weekly run to account for
   # changed dependencies.
   schedule:
-- 
2.39.5