Update CI, permit manual trigger

Signed-off-by: Christian Lindig <lindig@gmail.com>
lindig · Jun 12, 2024 · 95806e7 · 95806e7
1 parent 72ffe6e
commit 95806e7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,7 @@
 name: CI
 on:
   push:
+  workflow_dispatch:
 
 jobs:
   build:
@@ -11,7 +12,8 @@ jobs:
         operating-system:
           - ubuntu-latest
         ocaml-compiler:
-          - 4.11.2
+          - 4.12.0
+          - 4.14.0
     steps:
       - name: Checkout code
         uses: actions/checkout@master