diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 461518ee86d38d5edae504ce2092c6832e9d349c..b22c69a477f746fa5e6466614e326f2b2c26774a 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: