Skip to content
This repository has been archived by the owner on Aug 22, 2024. It is now read-only.

Add JSON structure reporting #1231

Closed
TomMD opened this issue Aug 4, 2023 · 1 comment
Closed

Add JSON structure reporting #1231

TomMD opened this issue Aug 4, 2023 · 1 comment

Comments

@TomMD
Copy link

TomMD commented Aug 4, 2023

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
Copy link
Contributor

MIRAI is a plugin for rustc and the latter takes care of emitting the diagnostics. Try RUSTFLAGS="--error-format=json".

@TomMD TomMD closed this as completed Aug 5, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants