From 8cdb30510f5ef62962637b7222da44e448f9905d Mon Sep 17 00:00:00 2001 From: Jose Quintana Date: Wed, 20 Dec 2023 12:28:41 +0100 Subject: [PATCH] chore: debian 12.4 docker images --- docker/debian/Dockerfile | 4 ++-- docker/devel/Dockerfile.debian | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/docker/debian/Dockerfile b/docker/debian/Dockerfile index 6891555..a5b3d3e 100644 --- a/docker/debian/Dockerfile +++ b/docker/debian/Dockerfile @@ -1,4 +1,4 @@ -FROM --platform=$BUILDPLATFORM debian:12.2-slim as build +FROM --platform=$BUILDPLATFORM debian:12.4-slim as build ARG TARGETPLATFORM ARG SERVER_VERSION=0.0.0 @@ -48,7 +48,7 @@ RUN set -ex \ && file /usr/local/bin/static-web-server \ && true -FROM debian:12.2-slim +FROM debian:12.4-slim ARG SERVER_VERSION=0.0.0 ENV SERVER_VERSION=${SERVER_VERSION} diff --git a/docker/devel/Dockerfile.debian b/docker/devel/Dockerfile.debian index 7738cb7..d143621 100644 --- a/docker/devel/Dockerfile.debian +++ b/docker/devel/Dockerfile.debian @@ -1,4 +1,4 @@ -FROM debian:12.2-slim +FROM debian:12.4-slim ENV SERVER_VERSION=devel -- libgit2 1.7.2