diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:20:10 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-07 15:28:05 +0100 |
| commit | 0b40dca734468e8b12b3ff58e3e779679f17d38e (patch) | |
| tree | fef58d821277c25cd367189540a256116519b3f5 /doc | |
| parent | c76edac15d5c729d9e5997eee1ae126ccd95f44f (diff) | |
| download | cuirass-0b40dca734468e8b12b3ff58e3e779679f17d38e.tar cuirass-0b40dca734468e8b12b3ff58e3e779679f17d38e.tar.gz | |
templates: Mark failures on the evaluation page.
* src/cuirass/templates.scm (evaluation-badges): Use a special badge
denoting failure when the sum of all jobs is zero.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions