Some CI jobs for integration tests have been moved from TravisCI to CircleCI.