docs: document run result and batch API endpoints (#3121)

Adds OpenAPI specs and sidebar pages for four previously undocumented
public endpoints: retrieve
run result, per-task batch trigger, retrieve batch, and retrieve batch
results.

Author: isshaddad

docs/docs.json

@@ -239,11 +239,11 @@
           },
           {
             "group": "Tasks API",
-            "pages": ["management/tasks/trigger", "management/tasks/batch-trigger"]
+            "pages": ["management/tasks/trigger", "management/tasks/batch-trigger", "management/tasks/trigger-batch"]
           },
           {
             "group": "Batches API",
-            "pages": ["management/batches/create", "management/batches/stream-items"]
+            "pages": ["management/batches/create", "management/batches/retrieve", "management/batches/retrieve-results", "management/batches/stream-items"]
           },
           {
             "group": "Runs API",
@@ -256,7 +256,8 @@
               "management/runs/update-metadata",
               "management/runs/add-tags",
               "management/runs/retrieve-events",
-              "management/runs/retrieve-trace"
+              "management/runs/retrieve-trace",
+              "management/runs/retrieve-result"
             ]
           },
           {

docs/management/batches/retrieve-results.mdx

@@ -0,0 +1,4 @@
+---
+title: "Retrieve batch results"
+openapi: "v3-openapi GET /api/v1/batches/{batchId}/results"
+---

docs/management/batches/retrieve.mdx

@@ -0,0 +1,4 @@
+---
+title: "Retrieve a batch"
+openapi: "v3-openapi GET /api/v1/batches/{batchId}"
+---

docs/management/runs/retrieve-result.mdx

@@ -0,0 +1,4 @@
+---
+title: "Retrieve run result"
+openapi: "v3-openapi GET /api/v1/runs/{runId}/result"
+---

docs/management/tasks/trigger-batch.mdx

@@ -0,0 +1,4 @@
+---
+title: "Trigger task batch"
+openapi: "v3-openapi POST /api/v1/tasks/{taskIdentifier}/batch"
+---