Annotate the PR with checks #6
Description
When a check fails, annotating the source will provide a better way of reporting the results to the authors and reviewers.
This can be done with special output, e.g. https://github.com/crate-ci/typos/blob/master/docker/format_gh.sh