Fix dark-theme in html[data-theme=dark]
-tags
#13156
ci-additional.yaml
on: pull_request
detect ci trigger
6s
Doctests
1m 46s
Mypy
1m 52s
Mypy 3.9
1m 51s
Pyright
0s
Pyright 3.9
0s
Minimum Version Policy
52s