From 32f4792ca95ff654af28facfcec87e0d0fd8dcd4 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 5 Jul 2023 15:20:02 +0200
Subject: [PATCH] Remove ./gradlew prepareMaven call that doesn't belong here

That was from the ProB Rodin plugin build...
---
 .gitlab-ci.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 461518e..b22c69a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -4,7 +4,6 @@ build:
   variables:
     GRADLE_USER_HOME: "$CI_PROJECT_DIR/.gradle"
   script:
-    - ./gradlew prepareMaven
     - mvn -Dmaven.repo.local="$CI_PROJECT_DIR/maven_repo_local" -f org.eventb.texteditor.parent/pom.xml install
   cache:
     paths:
-- 
GitLab