Views: Removed outcommented + fixed some 80-col problems

This commit is contained in:
rand00 2022-02-03 12:57:21 +01:00
parent f8b17e6b17
commit 3680336b22

View file

@ -337,7 +337,7 @@ module Job_build = struct
let make_build_info let make_build_info
~name ~name
~delta ~delta
~(build:Builder_db.Build.t) (* ({ Builder_db.Build.uuid; start; finish; result; platform; _ } as build) *) ~(build:Builder_db.Build.t)
~artifacts ~artifacts
~same_input_same_output ~same_input_same_output
~different_input_same_output ~different_input_same_output
@ -351,11 +351,15 @@ module Job_build = struct
H.p [txtf "Execution result: %a." Builder.pp_execution_result build.result]; H.p [txtf "Execution result: %a." Builder.pp_execution_result build.result];
H.h3 [H.txt "Build info"]; H.h3 [H.txt "Build info"];
H.ul [ H.ul [
H.li [ H.a ~a:H.[Fmt.kstr a_href "/job/%s/build/%a/console" name Uuidm.pp build.uuid] H.li [
[H.txt "Console output"]; H.a ~a:H.[
Fmt.kstr a_href "/job/%s/build/%a/console" name Uuidm.pp build.uuid
] [H.txt "Console output"];
]; ];
H.li [ H.a ~a:H.[Fmt.kstr a_href "/job/%s/build/%a/script" name Uuidm.pp build.uuid] H.li [
[H.txt "Build script"]; H.a ~a:H.[
Fmt.kstr a_href "/job/%s/build/%a/script" name Uuidm.pp build.uuid
] [H.txt "Build script"];
] ]
]; ];
H.h3 [H.txt "Build artifacts"]; H.h3 [H.txt "Build artifacts"];