Skip to content

fix(python): Replace spaces with   to support showing multiple spaces in HTML repr #13530

fix(python): Replace spaces with   to support showing multiple spaces in HTML repr

fix(python): Replace spaces with   to support showing multiple spaces in HTML repr #13530

Triggered via pull request November 15, 2024 09:52
Status Cancelled
Total duration 1m 30s
Artifacts

lint-python.yml

on: pull_request
Matrix: mypy
Fit to window
Zoom out
Zoom in

Annotations

3 errors
ruff
Process completed with exit code 1.
mypy (3.12)
Canceling since a higher priority waiting request for 'Lint Python-refs/pull/19783/merge' exists
mypy (3.12)
The operation was canceled.