Migrating CI from Travis CI to GitHub Actions is done in #150. This PR is a follow-up to that.
rake travis
This change is