Skip to content

Commit dcb5d77

Browse files
authoredJun 19, 2024··
fix: mark deployment id as mutable (#262)
I forgot to do this :/ - [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.17.0. See https://atd.readthedocs.io/en/latest/atdgen-tutorial.html#smooth-protocol-upgrades
1 parent 0000c60 commit dcb5d77

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed
 

‎semgrep_metrics.atd

+1-1
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@ type environment = {
102102
~isDiffScan <python default="False"> <ocaml mutable> : bool;
103103
?integrationName <ocaml mutable>: string option;
104104
~isAuthenticated <python default="False"> <ocaml mutable>: bool;
105-
?deployment_id: int option;
105+
?deployment_id <ocaml mutable>: int option;
106106
}
107107

108108
(*****************************************************************************)

0 commit comments

Comments
 (0)
Please sign in to comment.