Build documentation

chore(deps): Bump sphinx from 8.1.3 to 9.0.0 #31498

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
user_manual	12s
user_manual-en	10s
admin_manual	18s
developer_manual	12s
	52s