Marginally speed up CI doc builds by using multiple jobs

2025-10-22 08:23:09 +00:00 · 2022-08-15 15:01:08 -04:00
parent 288f2d169e
commit 3aa3c36c4f
6 changed files with 7 additions and 3 deletions
--- a/docs/extensions/builder.py
+++ b/docs/extensions/builder.py
@@ -130,3 +130,4 @@ def add_builders(app):
 def setup(app):
    add_builders(app)
    app.connect('builder-inited', add_custom_jinja2)
+    return {'parallel_read_safe': True}