From 7d32c007cb97886050ff7a33f75db1733dd777be Mon Sep 17 00:00:00 2001
From: Tom Ellis <tom-git@jaguarpaw.co.uk>
Date: Mon, 11 Mar 2024 08:17:12 +0000
Subject: [PATCH] Add workflow_dispatch trigger

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 240bf13..6ea68bf 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -8,6 +8,7 @@ on:
   schedule:
     # additionally run once per week (At 00:00 on Sunday) to maintain cache
     - cron: '0 0 * * 0'
+  workflow_dispatch:
 
 jobs:
   cabal: