Finally, maybe GitHub Actions is a viable alternative to Travis CI.