From 93c50ad76876804a5e768669129acd6d5652a91c Mon Sep 17 00:00:00 2001 From: favonia Date: Fri, 16 Dec 2022 10:56:49 -0600 Subject: [PATCH] ci: use OCaml 5.0.0 --- .github/workflows/ocaml.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ocaml.yml b/.github/workflows/ocaml.yml index e6c9d82c..6a0cfbae 100644 --- a/.github/workflows/ocaml.yml +++ b/.github/workflows/ocaml.yml @@ -9,7 +9,7 @@ jobs: strategy: matrix: include: - - ocaml-compiler: "ocaml-base-compiler.5.0.0~rc1" + - ocaml-compiler: "ocaml-base-compiler.5.0.0" with-doc: true runs-on: ubuntu-latest steps: