CI configurations

• ​CircleCI 2.0 workflows​

• ​Travis CI​

• ​GitLab CI​

• ​GitHub Actions​

Git hosted services

• ​Git authentication with SSH keys​

Package managers and languages