Update ubuntu Docker tag to v24

amutake · Apr 26, 2024 · 5589c8e · 5589c8e
1 parent c0ce17c
commit 5589c8e
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git 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
@@ -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
@@ -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
@@ -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
@@ -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