docs-publish

remove mistakenly copied-and-pasted line (#3849) #3645

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	3m 55s
upsert-tutorials	15s
upsert-modular-resources	53s
deploy	39s
generate-index	2m 24s
	8m 6s