We used to format the JSON returned by the machine with jq to make git diffs smoother (fewer changed lines). But since now we are not committing this file anymore, it no longer makes no sense to format it with jq. This has no impact on the behaviour of the proof generation system, as jq only changes formatting, not the data.
jq
to make git diffs smoother (fewer changed lines). But since now we are not committing this file anymore, it no longer makes no sense to format it withjq
. This has no impact on the behaviour of the proof generation system, asjq
only changes formatting, not the data.