build docs

Bump librt from 0.12.0 to 0.13.0 #22171

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
builddocs (windows-latest, 3.12)	21m 13s
builddocs (ubuntu-latest, 3.14)	10m 9s
builddocs (ubuntu-latest, 3.13)	10m 42s
builddocs (ubuntu-latest, 3.12)	12m 10s
deploydocs	-1s
	54m 13s