Commit a3ced8a0 authored by Thanassis Tsiodras's avatar Thanassis Tsiodras

Merge branch 'feature_CI_everything_in_GitLab' into 'master'

CI in Gitlab

See merge request !7
parents 43605ea8 b80d72e2
Pipeline #1668 passed with stage
in 16 minutes and 9 seconds