CI Additional

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
detect ci trigger	3s
Mypy	1m 38s
Mypy 3.9	1m 38s
Doctests	1m 38s
Minimum Version Policy	50s
Pyright	0s
Pyright 3.9	0s
	5m 47s