From 49c941a77eef23223d69943d3abf98a05a41d1dc Mon Sep 17 00:00:00 2001 From: Tim McGilchrist Date: Thu, 4 Jan 2024 14:14:07 +1100 Subject: [PATCH] Update ci.yml --- .github/workflows/ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 833cd28..45fa409 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -16,10 +16,10 @@ jobs: with: submodules: true - - name: Use OCaml 5.1.0 + - name: Use OCaml 5.1.1 uses: ocaml/setup-ocaml@v2 with: - ocaml-compiler: ocaml-base-compiler.5.1.0 + ocaml-compiler: ocaml-base-compiler.5.1.1 opam-repositories: | default: https://github.com/ocaml/opam-repository.git dune-cache: true