Merge pull request #271 from bmarwell/github_workflow

(build) GitHub workflow