docs: use new documentation builder, theme, and action #10508

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
type-check	1m 18s
linting	54s
fuzzing	56s
test (ubuntu-latest, 3.9)	9m 17s
test (ubuntu-latest, 3.10)	8m 49s
test (ubuntu-latest, 3.11)	8m 46s
test (ubuntu-latest, 3.12)	12m 44s
test (macos-latest, 3.9)	7m 48s
test (macos-latest, 3.10)	8m 31s
test (macos-latest, 3.11)	6m 14s
test (macos-latest, 3.12)	11m 1s
	1h 16m 18s