Add GitHub workflow to check build on push and pull request