From eb32e0bc944d7cdda4bde8746c621e1b003ba48e Mon Sep 17 00:00:00 2001 From: Dmitrii Suchkov Date: Tue, 11 Nov 2025 10:55:56 +0000 Subject: [PATCH] try to change provider --- docker-codio/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docker-codio/Dockerfile b/docker-codio/Dockerfile index 11cd0a1284..fa758efc66 100644 --- a/docker-codio/Dockerfile +++ b/docker-codio/Dockerfile @@ -1,4 +1,4 @@ -FROM openjdk:11-jdk-slim AS build +FROM eclipse-temurin:11-jdk AS build RUN apt-get update -y && \ # this solves some weird issue with openjdk-11-jdk-headless