From b5805e0417de0a50ff5b9b0ae1bf3572d65eaa7a Mon Sep 17 00:00:00 2001 From: Feanil Patel Date: Fri, 12 Sep 2025 09:53:53 -0400 Subject: [PATCH] build: Parallize the docs build. There is no technical issue that prevents us from running this build in parallel as far as I can tell. We can see if this will sufficiently speed up the build for us to turn it on for PRs. --- docs/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index 3c8a65d81c..6f77269be2 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -2,7 +2,7 @@ # # You can set these variables from the command line. -SPHINXOPTS = +SPHINXOPTS = -j auto SPHINXBUILD = sphinx-build SOURCEDIR = . BUILDDIR = _build