Skip to content

HTML search: represent indices using JavaScript Map instead of object literals #12679

HTML search: represent indices using JavaScript Map instead of object literals

HTML search: represent indices using JavaScript Map instead of object literals #12679

Triggered via pull request November 16, 2024 11:26
Status Failure
Total duration 49s
Artifacts

lint.yml

on: pull_request
Fit to window
Zoom out
Zoom in

Annotations

3 errors
Ruff (E731): sphinx/search/__init__.py#L172
sphinx/search/__init__.py:172:9: E731 Do not assign a `lambda` expression, use a `def`
ruff
Process completed with exit code 1.
mypy
Process completed with exit code 1.