From 7f69ecc7b0c4a4aee291224b9cd2a4d3889d2a30 Mon Sep 17 00:00:00 2001
From: Anders Fugmann <anders@fugmann.net>
Date: Sat, 1 Jun 2024 12:02:25 +0200
Subject: [PATCH] Enable manually starting workflows

---
 .github/workflows/workflow.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index dccfe47..279ad1a 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -13,7 +13,7 @@ jobs:
           - ubuntu-latest
         ocaml-compiler:
           - 5
-          - 4.14.0
+          - 4
           - 4.08.0
         concurrency:
           - async