Support for badges generation#117
Conversation
This is a cut down summary JSON that provides the data that the dashboard HTML report provides. Signed-off-by: James McCorrie <james.mccorrie@lowrisc.org>
Signed-off-by: James McCorrie <james.mccorrie@lowrisc.org>
|
I am not sure I understand this PR, but have you considered the formal flow? Or isn't it something we care about here? And FYI later on we'll have to add the vPlan coverage (and maybe spec cov too). |
machshev
requested review from
etterli,
marnovandermaas,
martin-velay and
ziuziakowska
@martin-velay this is a step towards being able to generate the badges such as the ones at the top of the documentation pages. Which are currently outdated and need generating with the new regression runs. If we bake this into DVSim then we are not having to couple other systems with knowledge of JSON results schemas, we just use DVSim to generate the svg files and the regression runner publishes them to a new dashboard bucket. Once we have this working with Sim flow it would be useful to have a conversation about how this should look for formal flow. |
4 participants
We use badges within the OpenTitan documentation to report on regression status. It's helpful if DVSim is capable of generating these badges. We can then update the regression runner to make these available with the nightly/weekly reports as required.