Migrate CI from Travis to GitHub Actions #751
Description
Consider migrating our CI system from Travis to GitHub Actions. Anecdotally the Travis queue seems to be getting slower. Also, our CI process is pretty lightweight (running tests and code style checker) and it would nice to have faster feedback on pull requests.