diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000000000000000000000000000000000000..644a592795fca5f6bc2b60a66cc22cff0a691dac --- /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