What is happening: As highlighted in #62, Travis CI is migrating to travis-ci.com by June 15th.
Consequences
Under this new plan there are limited build hours and a limitation on concurrent builds. While this is unlikely to affect us given the volume of Pull Requests that we receive, the maintainer(me) felt that it would still be better if we moved off the platform.
We will henceforth be switching to Github Actions.
What is happening: As highlighted in #62, Travis CI is migrating to travis-ci.com by June 15th.
Consequences
We will henceforth be switching to Github Actions.