Write 'searchindex.js' using minimal JSON separators #12511
lint.yml
on: pull_request
ruff
7s
flake8
12s
mypy
21s
pyright
32s
docs-lint
6s
twine
12s