semgrep · nhakmiller · Aug 14, 2025 · Aug 14, 2025 · nhakmiller · Aug 14, 2025
diff --git a/Makefile b/Makefile
@@ -80,6 +80,7 @@ setup:
 .PHONY: setup-PYTHON
 setup-PYTHON:
 	pip install check-jsonschema
+	pip install mypy
 
 # The tests require semgrep-core, among other things.
 .PHONY: test

diff --git a/semgrep_output_v1.atd b/semgrep_output_v1.atd
@@ -1604,8 +1604,10 @@ type scan_metadata = {
   cli_version: version;
   unique_id: uuid; (* client generated uuid for the scan *)
   requested_products: product list;
+  (* since 1.132.0 *)
+  ~compress_config: bool;
   (* since 1.47.0 *)
-  ~dry_run: bool; 
+  ~dry_run: bool;
   (* unique id associated with the scan in Semgrep Managed Scanning *)
   (* since 1.96.0 *)
   ?sms_scan_id: string option;

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
diff --git a/semgrep_output_v1_j.mli b/semgrep_output_v1_j.mli