diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index bb9f3a4b3138f01b3f4f9256c15c9978ad704294..d1cb7c58d4a97c91c402a8dbb30fd8d67d5cb323 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 script: - mvn -Dmaven.repo.local="$CI_PROJECT_DIR/maven_repo_local" -f org.eventb.texteditor.parent/pom.xml install cache: