Skip to content

Moved all Linux CI jobs over to CircleCI

This PR moves all linux-based CI jobs onto circle-ci; the use of docker images on that platform should speed things up.

Merge request reports