fix option

semgrep · Nov 19, 2024 · 54345b1 · 54345b1
1 parent e5162cb
commit 54345b1
Show file tree

Hide file tree

Showing 6 changed files with 42 additions and 46 deletions.
diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd
@@ -1719,7 +1719,7 @@ type subproject_stats = {
   (* Files used to determine the subproject's dependencies (lockfiles, manifest files, etc) *)
   dependency_sources: dependency_source_file list;
   (* Results of dependency resolution, null if resolution failed *)
-  resolved_stats: dependency_resolution_stats option;
+  ?resolved_stats: dependency_resolution_stats option;
 }
 
 type supply_chain_stats = {

diff --git a/semgrep_output_v1.jsonschema b/semgrep_output_v1.jsonschema
diff --git a/semgrep_output_v1.proto b/semgrep_output_v1.proto
diff --git a/semgrep_output_v1.py b/semgrep_output_v1.py
diff --git a/semgrep_output_v1.ts b/semgrep_output_v1.ts
diff --git a/semgrep_output_v1_j.ml b/semgrep_output_v1_j.ml