diff --git a/base/Dockerfile b/base/Dockerfile index aa23511..c938da0 100644 --- a/base/Dockerfile +++ b/base/Dockerfile @@ -1,4 +1,4 @@ -FROM ubuntu:22.04 +FROM ubuntu:24.04 # Versions ENV OCAML_VERSION=4.14.0 diff --git a/branch-saphe/Dockerfile b/branch-saphe/Dockerfile index fd05bb7..eafb8af 100644 --- a/branch-saphe/Dockerfile +++ b/branch-saphe/Dockerfile @@ -32,7 +32,7 @@ RUN eval $(opam env) && \ # -- -FROM ubuntu:22.04 +FROM ubuntu:24.04 # Copy from build-env COPY --from=build-env /root/.saphe /root/.saphe diff --git a/branch/Dockerfile b/branch/Dockerfile index a23c4ad..e542e7a 100644 --- a/branch/Dockerfile +++ b/branch/Dockerfile @@ -38,7 +38,7 @@ RUN eval $(opam env) && \ # -- -FROM ubuntu:22.04 +FROM ubuntu:24.04 # Copy from build-env COPY --from=build-env /root/.satysfi /usr/local/share/satysfi diff --git a/opam-slim/Dockerfile b/opam-slim/Dockerfile index 2e5ee05..55c4f67 100644 --- a/opam-slim/Dockerfile +++ b/opam-slim/Dockerfile @@ -12,7 +12,7 @@ RUN eval $(opam env) && cp $(which satysfi) / && cp $(which satyrographos) / # -- -FROM ubuntu:22.04 +FROM ubuntu:24.04 # Versions ENV OPAM_VERSION=2.1.3 diff --git a/slim/Dockerfile b/slim/Dockerfile index fdd1109..81b663f 100644 --- a/slim/Dockerfile +++ b/slim/Dockerfile @@ -15,7 +15,7 @@ RUN eval $(opam env) && \ # -- -FROM ubuntu:22.04 +FROM ubuntu:24.04 # Copy from build-env COPY --from=build-env /root/.satysfi /usr/local/share/satysfi