Commits
Merge branch '2019-07-17-ci-imports' 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.
Merge branch '2019-07-17-ci-imports' 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.