diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index a7bfc680f..3f703cc49 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -8,7 +8,7 @@ on: permissions: {} env: - OCAML_DEFAULT_VERSION: 4.08.1 + OCAML_DEFAULT_VERSION: 4.14.2 # Add OPAMYES=true to the environment, this is usefill to replace `-y` option # in any opam call OPAMYES: true