CI Additional

Fix dark-theme in `html[data-theme=dark]`-tags #13156

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
detect ci trigger	6s
Mypy 3.9	1m 51s
Mypy	1m 52s
Doctests	1m 46s
Minimum Version Policy	52s
Pyright	0s
Pyright 3.9	0s
	6m 27s