Switch from Travis CI to GitHub Workflows #65
Description
We continue to have issues with the Travis CI builds. Let's use GitHub Workflows instead.
{{ message }}
We continue to have issues with the Travis CI builds. Let's use GitHub Workflows instead.