Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Add GitHub Action workflow for checks (#1464)
To integrate better with the GitHub workflow, add a workflow for checking pushes and PRs. This doesn't remove the Travis configuration, which is still required for releases. Co-Authored-By: Christian Clauss <cclauss@me.com>
- Loading branch information