diff --git a/src/plugins/markdown-report/sarif.ml b/src/plugins/markdown-report/sarif.ml index a1e32ad602c76dc50df3bc0ceea542ab9bf9d214..d7ada712ff5a28b6b11b08fbf4cc14eb425430a8 100644 --- a/src/plugins/markdown-report/sarif.ml +++ b/src/plugins/markdown-report/sarif.ml @@ -77,7 +77,9 @@ let plain_text ~text ?id:messageId ?arguments () = create ~text ?messageId ?arguments () let markdown ~markdown ?id:richMessageId ?arguments () = - let richText = Format.asprintf "@[%a@]" Markdown.pp_elements markdown in + let richText = + String.trim (Format.asprintf "@[%a@]" Markdown.pp_elements markdown) + in create ~richText ?richMessageId ?arguments () let default = create () diff --git a/src/plugins/markdown-report/sarif_gen.ml b/src/plugins/markdown-report/sarif_gen.ml index f595292e48592332a6044f52e0eb8962ba29ce07..217bbef068a93becada36a01cb5d36ffe683225c 100644 --- a/src/plugins/markdown-report/sarif_gen.ml +++ b/src/plugins/markdown-report/sarif_gen.ml @@ -51,7 +51,9 @@ let make_message alarm annot remark = | [] -> summary :: gen_remark alarm | _ -> summary :: remark in - let richText = Format.asprintf "@[%a@]" Markdown.pp_elements markdown in + let richText = + String.trim (Format.asprintf "@[%a@]" Markdown.pp_elements markdown) + in Message.create ~text ~richText () let gen_results remarks =