Commit 0e517d4d authored by Robert Goldman's avatar Robert Goldman

Merge branch 'gitlab-ci' into 'master'

Add Gitlab CI configuration

See merge request !146
parents 4c3fcb6f c7ad384d
Pipeline #1857 passed with stages
in 46 minutes and 53 seconds