diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml new file mode 100644 index 0000000000000000000000000000000000000000..f7d2b8c8848129fe69798006dc5ce09568315c84 --- /dev/null +++ b/.gitlab-ci.yml @@ -0,0 +1,8 @@ +Tests: + script: + - eval `opam config env` + - make + - make tests + tags: + except: + - tags