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>