A GitHub-Circleci integration is needed for making sure all necessary tests pass before PR is ready for merging.