From 25d5767bc07e3559ddd7d7a53a7d5275be29f076 Mon Sep 17 00:00:00 2001 From: Christoph Knittel Date: Sat, 7 Dec 2024 21:03:21 +0100 Subject: [PATCH] setup-ocaml 3.1.4 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index bc50261..ff4e713 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -41,7 +41,7 @@ jobs: node-version: 22 - name: Use OCaml 4.14.1 - uses: ocaml/setup-ocaml@v3.0.14 + uses: ocaml/setup-ocaml@v3.1.4 with: ocaml-compiler: 4.14.1 opam-pin: false