From b6cd8faae51f6882072456db733cf736e2551330 Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Thu, 28 Apr 2016 16:59:48 -0700
Subject: [PATCH] adding CI test script

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
new file mode 100644
index 0000000..644a592
--- /dev/null
+++ b/.gitlab-ci.yml
@@ -0,0 +1,26 @@
+before_script:
+    - export CWD=$(pwd)
+    - source /etc/environment # Why this doesn't happen automatically I don't know...
+    - cd /finesse
+    - git reset --hard
+    - git checkout develop
+    - git pull
+    - rm kat
+    - echo "Building Finesse..."
+    - ./finesse.sh --build > /dev/null 2>&1
+    - echo "Sucessfuly built Finesse"
+    - cd $CWD
+    
+python_3:
+    script:
+        - kat -v
+        - which python3
+        - python3 --version
+        - python3 test/run_tests.py
+        
+python_2:
+    script:
+        - kat -v
+        - which python2.7
+        - python2.7 --version
+        - python2.7 test/run_tests.py
\ No newline at end of file
-- 
GitLab