Commit db7b36aa authored by David Morley's avatar David Morley

Merge branch 'gitlab_ci' into 'develop'

Basic Gitlab CI to start with

See merge request !216
parents 3cca47aa 56f103df
Pipeline #526 passed with stage
in 2 minutes and 4 seconds