Closed
Description
When doing something like ./x.py build miri --json-output
, then the errors/warnings in Miri itself are still reported in the normal, human-readable form, and not as JSON.
I assume something somewhere around here has to use a different function for running cargo, e.g. this one.
Cc @onur-ozkan