Merge branch 'dev'

KernelTuner · Sep 28, 2023 · fcfd9c1 · fcfd9c1
2 parents 061da8c + 79f476b
commit fcfd9c1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/build_api.py b/docs/build_api.py
@@ -84,7 +84,7 @@ def build_index_page(groups):
             "broadcast",
             "convert",
             "make_vec",
-            "into_vector",
+            "into_vec",
             "concat",
             "select",
             "for_each",