Views.breadcrumbs: Consistent style of multiline tuples in list

This commit is contained in:
rand00 2022-02-03 14:38:48 +01:00
parent f1214e01a3
commit b0fc7c1d9d

View file

@ -112,20 +112,24 @@ let layout ?include_static_css ?(nav=`Default) ~title body =
job_name job_name
pp_platform_query (Some build.Builder_db.Build.platform) pp_platform_query (Some build.Builder_db.Build.platform)
); );
(
txtf "Build %a" pp_ptime build.Builder_db.Build.start, txtf "Build %a" pp_ptime build.Builder_db.Build.start,
Fmt.str "/job/%s/build/%a/" Fmt.str "/job/%s/build/%a/"
job_name job_name
Uuidm.pp build.Builder_db.Build.uuid; Uuidm.pp build.Builder_db.Build.uuid
);
] ]
| `Comparison ((job_left, build_left), (job_right, build_right)) -> | `Comparison ((job_left, build_left), (job_right, build_right)) ->
to_nav [ to_nav [
H.txt "Home", "/"; H.txt "Home", "/";
(
txtf "Comparison between %s@%a and %s@%a" txtf "Comparison between %s@%a and %s@%a"
job_left pp_ptime build_left.Builder_db.Build.start job_left pp_ptime build_left.Builder_db.Build.start
job_right pp_ptime build_right.Builder_db.Build.start, job_right pp_ptime build_right.Builder_db.Build.start,
Fmt.str "/compare/%a/%a/" Fmt.str "/compare/%a/%a/"
Uuidm.pp build_left.uuid Uuidm.pp build_left.uuid
Uuidm.pp build_right.uuid; Uuidm.pp build_right.uuid
);
] ]
in in
(*> Note: Last declared CSS wins - so one can override here*) (*> Note: Last declared CSS wins - so one can override here*)