robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

/failed-builds: special case no failed builds

Browse source 
🥳
This commit is contained in:
Reynir Björnsson 2022-11-09 12:12:54 +01:00
parent a355b6124d
commit e9f6e1d577
1 changed files with 18 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
lib/views.ml
View file

@ -943,7 +943,14 @@ let failed_builds ~start ~count builds =
] ]
in in
layout ~title:"Failed builds" layout ~title:"Failed builds"
([ (match builds with
| [] ->
[
H.h1 [H.txt "No failed builds to list"];
H.p [H.txt "🥳"];
]
| _ :: _ ->
[
H.h1 [H.txt "Failed builds"]; H.h1 [H.txt "Failed builds"];
H.ul (List.map build builds); H.ul (List.map build builds);
H.p [ txtf "View the next %d failed builds " count; H.p [ txtf "View the next %d failed builds " count;