Build docs

Merge pull request #3778 from Hannah-Sten/ligatures-texoff #564

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1m 5s
test	15s
deploy	23s
publish-indexes	30s
	2m 13s