From c76cead3f7364f9d9d916a365fe276617572ab6c Mon Sep 17 00:00:00 2001
From: Robur <team@robur.coop>
Date: Fri, 5 Nov 2021 11:02:30 +0000
Subject: [PATCH] view: show platform on build page

---
 lib/views.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/views.ml b/lib/views.ml
index 4c6a880..e4be281 100644
--- a/lib/views.ml
+++ b/lib/views.ml
@@ -192,7 +192,7 @@ let job name readme builds =
 let job_build
   name
   readme
-  { Builder_db.Build.uuid; start; finish; result; _ }
+  { Builder_db.Build.uuid; start; finish; result; platform; _ }
   artifacts
   same_input_same_output different_input_same_output same_input_different_output
   latest_uuid
@@ -212,6 +212,7 @@ let job_build
     [
       h2 ~a:[a_id "build"] [txtf "Build %a" pp_ptime start];
       a ~a:[a_href "#readme"] [txt "Back to readme"];
+      p [txtf "Built on platform %s" platform ];
       p [txtf "Build took %a." Ptime.Span.pp delta ];
       p [txtf "Execution result: %a." Builder.pp_execution_result result]; ] @
       (match same_input_same_output with [] -> [] | xs -> [