Ludovic Courtès 0daae8bfc9 templates: Distinguish failure counter when there are new failures. ... The failed-build counter on /eval/ID pages is now orange when there are no new build failures, red when there are new build failures. * src/cuirass/templates.scm (newly-failed-build-badge): New procedure. (specifications-table): Use it instead of ‘failed-build-badge’. (evaluation-badges): Use ‘newly-failed-build-badge’ when ABSOLUTE has a positive ‘new-failed’.		2023-11-18 12:46:19 +01:00
..
cuirass	templates: Distinguish failure counter when there are new failures.	2023-11-18 12:46:19 +01:00
sql	Add specifications deactivation support.	2021-11-29 11:19:58 +01:00
static	build-log.js: Tweak icon of the phase folding button.	2023-10-28 23:01:03 +02:00
web/server	web: server: Remove with-ignored-disconnects.	2020-08-04 18:14:51 +02:00
cuirass.scm	cuirass: Stop λ/lambda mixing.	2017-07-06 10:03:16 +02:00
schema.sql	Add specifications deactivation support.	2021-11-29 11:19:58 +01:00