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 \