DOC: specify jax sphinx extension as safe for parallel read/write

2025-04-16 11:56:07 +00:00 · 2022-12-19 15:06:28 -08:00 · 2022-12-19 15:06:28 -08:00 · 801213a760
commit 801213a760
parent cff92a4d3b
1 changed files with 5 additions and 0 deletions
--- a/docs/sphinxext/jax_extensions.py
+++ b/docs/sphinxext/jax_extensions.py
@ -48,3 +48,8 @@ def doi_role(typ, rawtext, text, lineno, inliner, options=None, content=()):
 def setup(app):
  app.add_role('jax-issue', jax_issue_role)
  app.add_role('doi', doi_role)
+  return {
+    'version': 1.0,
+    'parallel_read_safe': True,
+    'parallel_write_safe': True,
+  }