Set up GitHub Actions workflow #58
Description
The repo previously used Travis CI, which we don't use anymore. As a result, we are currently not relying on any CI at all.
{{ message }}
The repo previously used Travis CI, which we don't use anymore. As a result, we are currently not relying on any CI at all.