Skip to content

Commit 571c38d

Browse files
authored
Remove depth_diff field that's irrelevant to target selection (#358)
This is for semgrep/semgrep-proprietary#3099 - [x] I ran `make setup && make` to update the generated code after editing a `.atd` file (TODO: have a CI check) - [x] I made sure we're still backward compatible with old versions of the CLI. For example, the Semgrep backend need to still be able to *consume* data generated by Semgrep 1.50.0. See https://atd.readthedocs.io/en/latest/atdgen-tutorial.html#smooth-protocol-upgrades Note that the types related to the semgrep-core JSON output or the semgrep-core RPC do not need to be backward compatible!
1 parent dbb1f2f commit 571c38d

7 files changed

+5
-60
lines changed

semgrep_output_v1.atd

-1
Original file line numberDiff line numberDiff line change
@@ -2011,7 +2011,6 @@ type targeting_conf <ocaml attr="deriving show"> = {
20112011
force_novcs_project : bool;
20122012
exclude_minified_files : bool;
20132013
?baseline_commit : string option;
2014-
diff_depth : int;
20152014
}
20162015

20172016
type analyzer <ocaml attr="deriving show"> = string wrap <ocaml module="Analyzer">

semgrep_output_v1.jsonschema

+2-4
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.proto

+1-2
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.py

-3
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1.ts

-3
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1_j.ml

+1-45
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

semgrep_output_v1_j.mli

+1-2
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)