Migrate CircleCI to GitHub Actions

[morancj]

We'd like to retire our CircleCI subscription this year.

[morancj]

There's no huge rush, as we have 6.8m pre-paid credits to use, and this is using ~30 / month.