Commit 70d0d8e8 authored by Ralph Giles's avatar Ralph Giles

Merge branch 'gitlab-ci' into 'master'

Add gitlab ci config

See merge request !3
parents 08109972 de9e5b29
Pipeline #1818 passed with stage
in 1 minute and 19 seconds