(options: Options, messages: list[str], dt: float, serious: bool = False)
| 186 | |
| 187 | |
| 188 | def emit_messages(options: Options, messages: list[str], dt: float, serious: bool = False) -> None: |
| 189 | # ... you know, just in case. |
| 190 | if options.junit_xml: |
| 191 | py_version = f"{options.python_version[0]}_{options.python_version[1]}" |
| 192 | write_junit_xml( |
| 193 | dt, |
| 194 | serious, |
| 195 | {None: messages} if messages else {}, |
| 196 | options.junit_xml, |
| 197 | py_version, |
| 198 | options.platform, |
| 199 | ) |
| 200 | if messages: |
| 201 | print("\n".join(messages)) |
| 202 | |
| 203 | |
| 204 | def get_mypy_config( |
no test coverage detected
searching dependent graphs…