From 438d4a3b616fc518b8eafdf33bf9899f01d51ba1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= <jerome.vouillon@gmail.com>
Date: Fri, 20 Sep 2024 15:41:06 +0200
Subject: [PATCH] Fix CI

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

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 90aa7716..05c08e3e 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -21,7 +21,7 @@ jobs:
           - "5.2"
         include:
           - os: ubuntu-latest
-            ocaml-compiler: "4.08"
+            ocaml-compiler: "4.12"
 
     runs-on: ${{ matrix.os }}
 
@@ -40,7 +40,7 @@ jobs:
           ocaml-compiler: ${{ matrix.ocaml-compiler }}
           opam-pin: false
 
-      - run: opam pin add ocsigen-start.dev . --no-action
+      - run: opam pin add ocsigen-start.7.0.0 . --no-action
 
       - run: opam install .