ci

Devops: Fix the ReadTheDocs build #1810

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre-commit	1m 57s
tests (3.9)	2m 44s
tests (3.10)	2m 56s
tests (3.11)	2m 43s
tests (3.12)	3m 23s
	13m 43s