Github Actions

For setting comment annotations, consider https://github.com/marketplace/actions/annotations-action as a middleware? Output JSON and it does the annoying heavy lifting of dealing with the github API to set those annotations.