Note missed mutants into GitHub PR annotations
sourcefrog opened this issue · comments
https://github.com/crate-ci/typos/ seems to do this nicely and might be a good example to follow: if there are typos, it flags them like in https://github.com/sourcefrog/cargo-mutants/pull/250/files#annotation_17006893398
This would be complementary to a ready-to-go cargo-mutants action (#141), or maybe it depends on it.
https://github.com/actions/toolkit/blob/master/docs/problem-matchers.md seems to be a way to match regexes in output and create annotations.