Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
As discussed with @Tieske, we will stick to TravisCI now that it is efficient enough (containarized and more reliable), and because it has better support of PR testing.
- Loading branch information