Switch from Travis CI to GitHub Actions #213

Merged
raucao merged 3 commits from feature/github_actions_ci into master 2023-01-15 06:24:14 +00:00