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

Add anchor to timestamps

Browse source
This commit is contained in:
Reynir Björnsson 2020-12-09 13:44:44 +01:00
parent 774074be63
commit 0eadf387e6
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
lib/views.ml
View file

@ -81,12 +81,14 @@ let job_run
p [txtf "Execution result: %a." Builder.pp_execution_result result];
table
(List.mapi (fun idx (ts, line) ->
let ts_id = "L" ^ string_of_int idx in
tr [
td ~a:[
a_class ["output-ts"];
a_id ("L" ^ string_of_int idx);
a_id ts_id;
]
[txtf "%#d ms" (Duration.to_ms (Int64.of_int ts))];
[a ~a:[a_href ("#"^ts_id); a_class ["output-ts-anchor"]]
[code [txtf "%#d ms" (Duration.to_ms (Int64.of_int ts))]]];
td ~a:[a_class ["output-code"]]
[code [txt line]];
])