Consider moving public CI/CD away from Travis CI

[migerh]

With the troubling reports about Travis CI we should consider other options. Let's collect what options there are.

Azure DevOps: https://www.azuredevopslabs.com/labs/azuredevops/github-integration/

[yogan]

GitHub Actions are currently still in beta, but maybe they are an option as well.