Migrate CI from Travis to GitHub Actions#13

tf merged 1 commit intomastertf/pr_log:masterfrom

codex/replace-travis-with-github-actionstf/pr_log:codex/replace-travis-with-github-actionsCopy head branch name to clipboard