(output_dir: Path, section: str)
| 291 | |
| 292 | |
| 293 | def write_local_readme(output_dir: Path, section: str) -> Path: |
| 294 | report_path = output_dir / "README.md" |
| 295 | report_path.write_text( |
| 296 | "# Java Xlang Benchmark Report\n\n" + section, encoding="utf-8" |
| 297 | ) |
| 298 | run_prettier(report_path) |
| 299 | return report_path |
| 300 | |
| 301 | |
| 302 | def update_docs_readme(docs_output_dir: Path, section: str) -> Path: |