Closed ElectreAAS closed 1 year ago
Thanks for working on this, @ElectreAAS! Merged it after minor adjustments to the JSON - removed an extra ,
and the unnecessary [ ]
around the metrics
value. Also, added a commit to run make json
in CI to catch any broken json generation.
As per the (incomplete) code in the readme of current-bench, the
metrics
object shouldn't have anything in it that isn't plottable, so no booleans nor nulls nor strings. This PR puts everything of that sorts in thecontext
object so it's not lost.