Investigate the use of GitHub Actions

[RA80533]

GitHub Actions provides a richer integration with the repository's presence on GitHub compared to Travis CI, the project's current CI platform. Migration would be as simple as translating .travis.yml to the YAML syntax supported by GitHub Actions.