Merge pull request '/failed-builds: special case no failed builds' (#148) from fix-142 into main

Reviewed-on: https://git.robur.io/robur/builder-web/pulls/148
2022-11-14 13:21:11 +00:00 · 2022-11-14 13:21:11 +00:00 · 3bb8925bd3
commit 3bb8925bd3
parent a355b6124d e9f6e1d577
1 changed files with 18 additions and 11 deletions
--- a/lib/views.ml
+++ b/lib/views.ml
@ -943,7 +943,14 @@ let failed_builds ~start ~count builds =
    ]
  in
  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.ul (List.map build builds);
         H.p [ txtf "View the next %d failed builds " count;