add support for partial scanning

semgrep · Oct 11, 2024 · 398d9ee · 398d9ee
1 parent 2351c5e
commit 398d9ee
Show file tree

Hide file tree

Showing 7 changed files with 7,145 additions and 6,809 deletions.
diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd
@@ -1873,3 +1873,13 @@ type function_return
   | RetResolveDependencies of (manifest * resolution_result) list
   | RetDumpRulePartitions of bool
 ]
+
+(* ----------------------------- *)
+(* Partial scans. Experimental and for internal use only. *)
+(* ----------------------------- *)
+
+type partial_scan_result
+    <python decorator="dataclass(frozen=True)"> = [
+  | PartialScanOk of (ci_scan_results * ci_scan_complete)
+  | PartialScanError of ci_scan_failure
+]
diff --git a/semgrep_output_v1.jsonschema b/semgrep_output_v1.jsonschema
diff --git a/semgrep_output_v1.proto b/semgrep_output_v1.proto