chore: pin mkdocs plugin version

instadeepai · Oct 25, 2024 · 2b425ea · 2b425ea
1 parent ede80ef
commit 2b425ea
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/docs/api/environments/cleaner.md b/docs/api/environments/cleaner.md
@@ -1 +1,9 @@
 ::: jumanji.environments.routing.cleaner.env.Cleaner
+    selection:
+      members:
+        - __init__
+        - reset
+        - step
+        - observation_spec
+        - action_spec
+        - render
diff --git a/docs/api/environments/connector.md b/docs/api/environments/connector.md
@@ -1,7 +1,7 @@
 ::: jumanji.environments.routing.connector.env.Connector
     selection:
       members:
-        - init
+        - __init__
         - observation_spec
         - action_spec
         - reset

diff --git a/requirements/requirements-dev.txt b/requirements/requirements-dev.txt
@@ -9,6 +9,7 @@ mkdocs-git-revision-date-plugin==0.3.2
 mkdocs-include-markdown-plugin==4.0.4
 mkdocs-material==8.2.7
 mkdocs-mermaid2-plugin==0.6.0
+mkdocs_autorefs<1.0
 mkdocstrings==0.18.0
 mknotebooks==0.7.1
 mypy==0.991