This brings in a small update to our Travis-CI config file and
introduces a GitLab CI file. Currently they have the same functionality
and the plan currently is to migrate away from Travis-CI.
Trivial merge
This page took 0.03695 seconds and 4 git commands to generate.