As of Travis' new billing model (see https://blog.travis-ci.com/2020-11-02-travis-ci-new-billing and https://www.jeffgeerling.com/blog/2020/travis-cis-new-pricing-plan-threw-wrench-my-open-source-works), which effectively breaks support for OS repositories, we should move over to GitHub actions.