From cc22ab1d7b6a3d43b6a2a46722b8606985fcffb5 Mon Sep 17 00:00:00 2001
From: Lionel Seinturier <Lionel.Seinturier@univ-lille1.fr>
Date: Sun, 13 Aug 2017 12:16:59 +0000
Subject: [PATCH] GitLab CI configuration.

---
 tinfi/.gitlab-ci.yml | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 tinfi/.gitlab-ci.yml

diff --git a/tinfi/.gitlab-ci.yml b/tinfi/.gitlab-ci.yml
new file mode 100644
index 000000000..22e0d8614
--- /dev/null
+++ b/tinfi/.gitlab-ci.yml
@@ -0,0 +1,13 @@
+image: maven:3-jdk-8
+
+before_script:
+  - export MAVEN_OPTS="-Xms256m -Xmx512m -Dmaven.repo.local=.m2/repository"
+
+cache:
+  paths:
+    - .m2/repository
+
+test:
+  stage: test
+  script:
+    - mvn -B -Ptinfi:tests,tinfi:examples install
-- 
2.21.0