Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Use CircleCI for Linux builds #417
Follow-up for #397 which switched OSX builds from TravisCI to CircleCI. There were some issues with the Linux build on CircleCI without immediately obvious causes. Fix those issues and enable CircleCI Linux builds.
Don't disable TravisCI Linux builds yet because they're related to the release process in some way.