From e00c640fd15245770086b3fbad137c5d09952a27 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Guido=20Mart=C3=ADnez?= <mtzguido@gmail.com>
Date: Thu, 5 Sep 2024 10:34:58 -0700
Subject: [PATCH] ci: use OCaml 4.14.0, required by F*

---
 .docker/standalone.Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.docker/standalone.Dockerfile b/.docker/standalone.Dockerfile
index babc65cb..6470d2d4 100644
--- 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