CI configurations

• ​CircleCI 2.0 workflows​

• ​Travis CI​

• ​GitLab CI​

• ​GitHub Actions​

• ​Jenkins CI​

Git hosted services

• ​Git authentication with SSH keys​

Release workflow

• ​Publishing on distribution channels​

• ​Publishing maintenance releases​

• ​Publishing pre-releases​

Package managers and languages