build docs

Add get_db_overview for fast, lightweight run listing #22151

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
builddocs (ubuntu-latest, 3.13)	9m 25s
builddocs (ubuntu-latest, 3.14)	10m 42s
builddocs (ubuntu-latest, 3.12)	13m 2s
builddocs (windows-latest, 3.12)	19m 44s
deploydocs	-1s
	52m 52s