ci: use OCaml 4.14.0, required by F*

FStarLang · Sep 5, 2024 · e00c640 · e00c640
1 parent c96fb69
commit e00c640
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