As per https://blog.travis-ci.com/2020-11-02-travis-ci-new-billing#building-on-a-public-repositories-only, we'd now have only 1000 minutes on Travis CI for builds, even for OSS builds. It seems to me that we should probably move off of Travis CI completely. :(