Merge pull request #476 from mtzguido/ci

ci: use OCaml 4.14.0, required by F*
FStarLang · Sep 5, 2024 · e9b5977 · e9b5977
2 parents c96fb69 + e00c640
commit e9b5977
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.docker/standalone.Dockerfile b/.docker/standalone.Dockerfile
@@ -32,7 +32,7 @@ WORKDIR $HOME
 SHELL ["/bin/bash", "--login", "-c"]
 
 # Install OCaml
-ARG OCAML_VERSION=4.12.0
+ARG OCAML_VERSION=4.14.0
 RUN opam init --compiler=$OCAML_VERSION --disable-sandboxing 
 RUN opam env --set-switch | tee --append $HOME/.profile $HOME/.bashrc $HOME/.bash_profile
 # unsafe-yes necessary to handle automatic system dependency changes with depext