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

view: show platform on build page

Browse source
This commit is contained in:
Robur 2021-11-05 11:02:30 +00:00
parent e69d1beb9f
commit c76cead3f7
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
lib/views.ml
View file

@ -192,7 +192,7 @@ let job name readme builds =
let job_build let job_build
name name
readme readme
{ Builder_db.Build.uuid; start; finish; result; _ } { Builder_db.Build.uuid; start; finish; result; platform; _ }
artifacts artifacts
same_input_same_output different_input_same_output same_input_different_output same_input_same_output different_input_same_output same_input_different_output
latest_uuid latest_uuid
@ -212,6 +212,7 @@ let job_build
[ [
h2 ~a:[a_id "build"] [txtf "Build %a" pp_ptime start]; h2 ~a:[a_id "build"] [txtf "Build %a" pp_ptime start];
a ~a:[a_href "#readme"] [txt "Back to readme"]; 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 "Build took %a." Ptime.Span.pp delta ];
p [txtf "Execution result: %a." Builder.pp_execution_result result]; ] @ p [txtf "Execution result: %a." Builder.pp_execution_result result]; ] @
(match same_input_same_output with [] -> [] | xs -> [ (match same_input_same_output with [] -> [] | xs -> [