Add GitLab CI

Authored by bgamari on Nov 23 2018, 6:20 PM.