civodul pushed a change to branch master.
from b80461b build-log.js: Tweak icon of the phase folding button.
new 6611151 templates: Improve toggle button on evaluation and spec pages.
new 286fef2 templates: Move RSS button to the right.
new 299e95a templates: Factorize the success rate bar.
new dfab507 Update NEWS.
Summary of changes:
NEWS | 46 ++++++++++++++++++++++++++++++
src/cuirass/templates.scm | 72 +++++++++++++++++++++++------------------------
2 files changed, 82 insertions(+), 36 deletions(-)
