Function read_file

tools/lint/python_stubs.py:31–35

(path: str)

def read_file(path: str) -> str:
    if not os.path.exists(path):
        return "(no log written)\n"
    with open(path, "r", encoding="utf-8") as handle:
        return handle.read()


def report_section(summary: str, title: str, log_path: str) -> str: