From ba7a512be669697b521aae47a64a5d2f79cea34a Mon Sep 17 00:00:00 2001 From: Guillaume Grossetie Date: Mon, 29 Jul 2024 09:31:40 +0200 Subject: [PATCH] chore(deps): update dependency rust to v1.80 (#1763) --- server/ops/docker/jdk17-jammy/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/server/ops/docker/jdk17-jammy/Dockerfile b/server/ops/docker/jdk17-jammy/Dockerfile index 0e758efff..9770f1d4b 100644 --- a/server/ops/docker/jdk17-jammy/Dockerfile +++ b/server/ops/docker/jdk17-jammy/Dockerfile @@ -201,7 +201,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.79-slim-bullseye AS kroki-builder-static-svgbob +FROM --platform=$BUILDPLATFORM rust:1.80-slim-bullseye AS kroki-builder-static-svgbob # Install cross-compilation tools RUN apt-get update && apt-get install --no-install-recommends --yes \