Add batch_info type to ci_scan_results

Author: zyannes

semgrep_output_v1.atd

@@ -1030,6 +1030,7 @@ type features = {
    ~autofix: bool;
    ~deepsemgrep: bool;
    ~dependency_query: bool;
+   (* since semgrep 1.74.0 *)
    ~can_batch_upload: bool;
 }
 
@@ -1363,6 +1364,11 @@ type finding_hashes = {
 (* CI scan results *)
 (* ----------------------------- *)
 
+type batch_info = {
+  num_batches: int;
+  current_batch: int;
+}
+
 (* Sent by the CLI to /findings_and_ignores (a.k.a. /results) *)
 type ci_scan_results = {
   (* TODO: ?version: version option; *)
@@ -1382,6 +1388,9 @@ type ci_scan_results = {
    (* since semgrep 1.38.0 *)
    (* this data was originally sent to /complete, but we want to start sending it /results *)
    ?dependencies: ci_scan_dependencies option;
+
+   (* since semgrep 1.74.0 *)
+   ?batch_info: batch_info option;
 }
 
 (* See https://semgrep.dev/docs/usage-limits