From b5eb4301989c74a3ff7865b99869d1158ea9b3a7 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Mon, 1 Jul 2024 18:18:00 +0200
Subject: [PATCH] Update CI to Java 17 as required by Rodin 3.9's Eclipse
version
---
.gitlab-ci.yml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 577d5a4a..da9f39b1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,6 +1,6 @@
build:
stage: build
- image: maven:3-eclipse-temurin-11
+ image: maven:3-eclipse-temurin-17
variables:
GRADLE_USER_HOME: "$CI_PROJECT_DIR/.gradle"
before_script:
--
GitLab