Merge remote-tracking branch 'origin/main' into nik_binary_search

.devcontainer/fromscratch/minimal.Dockerfile

@@ -39,7 +39,7 @@ RUN mkdir -p $HOME/bin
 RUN echo 'export PATH=$HOME/bin:$PATH' | tee --append $HOME/.profile $HOME/.bashrc $HOME/.bash_profile
 
 # Install OCaml
-ARG OCAML_VERSION=4.12.1
+ARG OCAML_VERSION=4.14.0
 RUN opam init --compiler=$OCAML_VERSION --disable-sandboxing
 RUN opam option depext-run-installs=true
 ENV OPAMYES=1

.github/setup-macos.sh

@@ -4,7 +4,7 @@
 # coreutils: for the `install` command used in install-ulib.sh
 export OPAMYES=1
 brew install opam bash gnu-getopt coreutils gnu-sed make
-opam init --compiler=4.12.0
+opam init --compiler=4.14.0
 eval $(opam env)
 
 # Install Z3 and the opam package dependencies

src/ci/ci.Dockerfile

@@ -1,6 +1,6 @@
 # This Dockerfile should be run from the root Pulse directory
 
-ARG ocaml_version=4.12
+ARG ocaml_version=4.14
 FROM ocaml/opam:ubuntu-22.04-ocaml-$ocaml_version
 
 # CI dependencies for the Wasm11 test: node.js

src/ci/no-fstar-home.Dockerfile

@@ -1,6 +1,6 @@
 # This Dockerfile should be run from the root Pulse directory
 
-ARG ocaml_version=4.12
+ARG ocaml_version=4.14
 FROM ocaml/opam:ubuntu-22.04-ocaml-$ocaml_version
 
 ARG opamthreads=24

src/ci/opam.Dockerfile

@@ -1,6 +1,6 @@
 # This Dockerfile should be run from the root Pulse directory
 
-ARG ocaml_version=4.12
+ARG ocaml_version=4.14
 FROM ocaml/opam:ubuntu-22.04-ocaml-$ocaml_version
 
 ARG opamthreads=24

src/ci/package.Dockerfile

@@ -1,6 +1,6 @@
 # This Dockerfile should be run from the root Pulse directory
 
-ARG ocaml_version=4.12
+ARG ocaml_version=4.14
 FROM ocaml/opam:ubuntu-20.04-ocaml-$ocaml_version
 
 # CI dependencies for the Wasm11 test: node.js