LaTeX: rename \sphinxnotetitle into \sphinxstylenotetitle (etc)
#6762
jfbulint.yml
on: push
ruff
17s
flake8
23s
isort
12s
mypy
30s
docs-lint
22s
twine
1m 13s