We may want to replace Travis with GitHub actions.

Deployment is already handled by grade, so the change should be relatively easy. The only problem may be the build number. On Travis, we are currently at 1923, when switching to GitHub Actions we would start over at 1.

See GITHUB_RUN_NUMBER.