From 980d4cf14419090184360f1fc6b07dbe245db751 Mon Sep 17 00:00:00 2001
From: Sora Morimoto <sora@morimoto.io>
Date: Sat, 7 Dec 2024 06:45:13 +0900
Subject: [PATCH] _

Signed-off-by: Sora Morimoto <sora@morimoto.io>
---
 .github/workflows/main.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 1286c232..e707c1de 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -61,7 +61,8 @@ jobs:
       - name: Set-up OCaml
         uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: 5
+          ocaml-compiler: 4
+          opam-pin: false
 
       - run: opam install "mirage<4.7.0"
       - run: opam exec -- mirage configure -t ${{ matrix.mode }}