Add JSON structure reporting
Closed this issue · 1 comments
TomMD commented
Issue
Lack of machine parsable (JSON) output makes MIRAI hard to integrate into CI
Steps to Reproduce
MIRA_FLAGS="--json" cargo mirai
Expected Behavior
stdout or a specified reports file in JSON
Actual Results
Unstructured text is the only MIRAI output.
hermanventer commented
MIRAI is a plugin for rustc and the latter takes care of emitting the diagnostics. Try RUSTFLAGS="--error-format=json".