_

Signed-off-by: Sora Morimoto <[email protected]>
mirage · Dec 6, 2024 · 980d4cf · 980d4cf
1 parent e7db5b9
commit 980d4cf
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 }}