No need to depend on Travis now that GitHub Actions is so nice. https://docs.github.com/en/actions/migrating-to-github-actions/migrating-from-travis-ci-to-github-actions