Port CI from CircleCI to GitHub Actions.

[andrewsomething]

This ports the existing CI config from CircleCI to GitHub Actions. There is a tiny code change to make the linter clean.