Closed rafaelfolco closed 10 months ago
jq is necessary to manipulate run file JSON, e.g. for extracting benchmarks to run.
jq is necessary to manipulate run file JSON, e.g. for extracting benchmarks to run.