(summary: str, title: str, log_path: str)
| 36 | |
| 37 | |
| 38 | def report_section(summary: str, title: str, log_path: str) -> str: |
| 39 | lines = [f"<details><summary>{summary}</summary>", "", f"`{title}`", "````"] |
| 40 | lines.append(read_file(log_path)) |
| 41 | lines.extend(["````", "</details>", ""]) |
| 42 | return "\n".join(lines) |
| 43 | |
| 44 | |
| 45 | def main(): |