diff --git a/server/ops/docker/jdk17-noble/Dockerfile b/server/ops/docker/jdk17-noble/Dockerfile index f2503a72d..e160378f7 100644 --- a/server/ops/docker/jdk17-noble/Dockerfile +++ b/server/ops/docker/jdk17-noble/Dockerfile @@ -1,4 +1,4 @@ -# syntax=docker/dockerfile:1.13 +# syntax=docker/dockerfile:1.14 ## Nomnoml FROM --platform=$BUILDPLATFORM node:22.14-bookworm-slim AS kroki-builder-nomnoml @@ -148,7 +148,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.84-slim-bullseye AS kroki-builder-static-svgbob +FROM --platform=$BUILDPLATFORM rust:1.85-slim-bullseye AS kroki-builder-static-svgbob # Install cross-compilation tools RUN apt-get update && apt-get install --no-install-recommends --yes \