From d5df10f306f5aa9e388196d8de7761c1bbe3461e Mon Sep 17 00:00:00 2001 From: Guillaume Grossetie Date: Tue, 3 Dec 2024 02:33:52 +0000 Subject: [PATCH] chore(deps): update dependency rust to v1.83 --- server/ops/docker/jdk17-noble/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server/ops/docker/jdk17-noble/Dockerfile b/server/ops/docker/jdk17-noble/Dockerfile index 64401ec78..9ac9f54b7 100644 --- a/server/ops/docker/jdk17-noble/Dockerfile +++ b/server/ops/docker/jdk17-noble/Dockerfile @@ -140,7 +140,7 @@ RUN wget -q "https://pikchr.org/home/raw/${PIKCHR_VERSION}" -O pikchr.c RUN gcc -O0 -g -static -Wall -Wextra -DPIKCHR_SHELL pikchr.c -o pikchr -lm ## SVGBob -FROM --platform=$BUILDPLATFORM rust:1.82-slim-bullseye AS kroki-builder-static-svgbob +FROM --platform=$BUILDPLATFORM rust:1.83-slim-bullseye AS kroki-builder-static-svgbob # Install cross-compilation tools RUN apt-get update && apt-get install --no-install-recommends --yes \