Make Github display the <pre> nicely

testing/end-to-end/gen-report.py

@@ -66,9 +66,17 @@ def format_markdown(full_report):
     bold_f = lambda s: f"**{s}**"
     ok_f = lambda s: f"{s} :heavy_check_mark:"
     fail_f = lambda s: f"{s} :x:"
-    log_f = lambda logs: f"""<details><summary>Last logs:</summary><pre>
-{textwrap.indent(html.escape(logs), 4 * ' ')}
-    </pre></details>"""
+    def log_f(logs):
+        lines = html.escape(logs).splitlines()
+        lines = [l if l.strip() else "<br/>" for l in lines]
+        log_str = "\n".join(lines)
+        return "\n" + textwrap.indent(f"""\
+<details>
+<summary>Last logs:</summary>
+<pre>
+{log_str}
+</pre>
+</details>""", 4 * ' ')
     return format_gen(full_report, bold_f, ok_f, fail_f, log_f)