Now that Travis CI is no longer free for open source projects, need to migrate to GitHub Actions for CI.