Skip to content

Commit 8cc857e

Browse files
committed
address some of pads feedback
1 parent 9678b1a commit 8cc857e

File tree

7 files changed

+105
-56
lines changed

7 files changed

+105
-56
lines changed

semgrep_output_v1.atd

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1712,13 +1712,13 @@ type dependency_resolution_stats = {
17121712

17131713
type subproject_stats = {
17141714
(* Files used to determine the subproject's dependencies (lockfiles, manifest files, etc) *)
1715-
dependency_source_files: string list;
1715+
dependency_source_files: fpath list;
17161716
(* Results of dependency resolution, null if resolution failed *)
1717-
resolved_stats: dependency_resolution_stats nullable;
1717+
resolved_stats: dependency_resolution_stats option;
17181718
}
17191719

17201720
type supply_chain_stats = {
1721-
subproject_stats: subproject_stats list;
1721+
subprojects_stats: subproject_stats list;
17221722
}
17231723

17241724
type parsing_stats = {

semgrep_output_v1.jsonschema

Lines changed: 15 additions & 4 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.proto

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.py

Lines changed: 8 additions & 8 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.ts

Lines changed: 9 additions & 9 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1_j.ml

Lines changed: 65 additions & 27 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)