Rephrase, hide UUID from user
This commit is contained in:
parent
494d4eb215
commit
60a3f629d8
1 changed files with 7 additions and 7 deletions
14
lib/views.ml
14
lib/views.ml
|
@ -47,7 +47,7 @@ let job name runs =
|
||||||
layout ~title:(Printf.sprintf "Job %s" name)
|
layout ~title:(Printf.sprintf "Job %s" name)
|
||||||
[ h1 [txtf "Job %s" name];
|
[ h1 [txtf "Job %s" name];
|
||||||
p [
|
p [
|
||||||
txtf "Currently %d job runs."
|
txtf "Currently %d builds."
|
||||||
(List.length runs)
|
(List.length runs)
|
||||||
];
|
];
|
||||||
ul (List.map (fun run ->
|
ul (List.map (fun run ->
|
||||||
|
@ -66,15 +66,15 @@ let job name runs =
|
||||||
let job_run
|
let job_run
|
||||||
{ Model.meta = {
|
{ Model.meta = {
|
||||||
Model.job_info = { Builder.name; _ };
|
Model.job_info = { Builder.name; _ };
|
||||||
start; finish; uuid; result };
|
start; finish; uuid = _; result };
|
||||||
out; _ }
|
out; data = _ }
|
||||||
=
|
=
|
||||||
let ptime_pp = Ptime.pp_human () in
|
let ptime_pp = Ptime.pp_human () in
|
||||||
let delta = Ptime.diff finish start in
|
let delta = Ptime.diff finish start in
|
||||||
layout ~title:(Printf.sprintf "Job run %s (%s)" name (Uuidm.to_string uuid))
|
layout ~title:(Fmt.strf "Job build %s %a" name ptime_pp start)
|
||||||
[ h1 [txtf "Job build %s %a (%a)" name ptime_pp start Uuidm.pp uuid];
|
[ h1 [txtf "Job build %s %a" name ptime_pp start];
|
||||||
p [txtf "Took %a." Ptime.Span.pp delta ];
|
p [txtf "Build took %a." Ptime.Span.pp delta ];
|
||||||
p [txtf "Status: %a." Builder.pp_execution_result result];
|
p [txtf "Execution result: %a." Builder.pp_execution_result result];
|
||||||
table (List.concat_map (fun (ts, line) ->
|
table (List.concat_map (fun (ts, line) ->
|
||||||
[tr [
|
[tr [
|
||||||
td ~a:[a_class ["output-ts"]]
|
td ~a:[a_class ["output-ts"]]
|
||||||
|
|
Loading…
Reference in a new issue