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

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

diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
index 77d6e3d..9fae3c9 100644
--- a/.github/workflows/workflow.yml
+++ b/.github/workflows/workflow.yml
@@ -1,8 +1,8 @@
 name: Main workflow
 
 on:
-  - pull_request
   - push
+  - workflow_dispatch
 
 jobs:
   build:
@@ -18,7 +18,7 @@ jobs:
         os:
           - ubuntu-latest
         ocaml-compiler:
-          - 5.0.0
+          - 5
     runs-on: ${{ matrix.os }}
 
     steps: