From a94610b3954cb2368fff789db668129d6ae6a339 Mon Sep 17 00:00:00 2001
From: Fabian Mastenbroek <mail.fabianm@gmail.com>
Date: Sat, 25 Mar 2023 21:06:13 +0000
Subject: ci: Test OpenDC on Java 20

This change updates the CI pipeline so that Java 20 is being tested with
the latest Gradle RC, since Gradle 8.0 does not support it yet.
---
 opendc-web/opendc-web-runner/Dockerfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'opendc-web/opendc-web-runner/Dockerfile')

diff --git a/opendc-web/opendc-web-runner/Dockerfile b/opendc-web/opendc-web-runner/Dockerfile
index 5dcc3b9c..3f393055 100644
--- a/opendc-web/opendc-web-runner/Dockerfile
+++ b/opendc-web/opendc-web-runner/Dockerfile
@@ -1,4 +1,4 @@
-FROM openjdk:18-slim
+FROM openjdk:17-slim
 MAINTAINER OpenDC Maintainers <opendc@atlarge-research.com>
 
 # Obtain (cache) Gradle wrapper
-- 
cgit v1.2.3