From 9b3643e0b4012a5eaad3881dfbc8d6bf19898c77 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Wed, 5 Jul 2023 15:14:05 +0200
Subject: [PATCH] Add GitLab CI config
---
.gitlab-ci.yml | 30 ++++++++++++++++++++++++++++++
1 file changed, 30 insertions(+)
create mode 100644 .gitlab-ci.yml
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..461518e
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,30 @@
+build:
+ stage: build
+ image: maven:3-eclipse-temurin-11
+ 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:
+ - .gradle/caches
+ - .gradle/native
+ - .gradle/wrapper
+ - maven_repo_local
+ artifacts:
+ paths:
+ - org.eventb.texteditor.repository/target/repository
+
+deploy:nightly:
+ stage: deploy
+ only:
+ - develop@general/stups/camille
+ image: alpine:3
+ variables:
+ GIT_STRATEGY: none
+ before_script:
+ - apk update
+ - apk add lftp openssh-client
+ script:
+ - LFTP_PASSWORD="${DEPLOY_PASSWORD}" lftp -c "set cmd:fail-exit true; set sftp:auto-confirm true; open --user ${DEPLOY_USERNAME} --env-password sftp://${DEPLOY_HOST}/${DEPLOY_REMOTE_BASEDIR}/rodin/camille/develop/; mirror -vvv -R org.eventb.texteditor.repository/target/repository ."
--
GitLab