This PR switches our CI for this project from Travis to Github Actions. The Github Action workflow file can be seen in the code changes. The checks for this PR (below) will also run this Github Action workflow, thus being self verifying of the work contained within this PR.
This PR switches our CI for this project from Travis to Github Actions. The Github Action workflow file can be seen in the code changes. The checks for this PR (below) will also run this Github Action workflow, thus being self verifying of the work contained within this PR.