82f8768 CI/CD: Make a comment on pull-request build failure

Authored and Committed by rayson 5 years ago
    CI/CD: Make a comment on pull-request build failure
    
    Following up #256. Leave a message when a CI build of pull-request
    fails.