remove Cargo.lock files and add to .gitignore (#348)

Co-authored-by: Andrew Banchich <banchich@amazon.com> Co-authored-by: Robin Salkeld <salkeldr@amazon.com>
smithy-lang · May 2, 2024 · f3af80c · f3af80c
1 parent 428df01
commit f3af80c
Show file tree

Hide file tree

Showing 4 changed files with 3 additions and 1,168 deletions.
diff --git a/TestModels/.gitignore b/TestModels/.gitignore
@@ -12,6 +12,8 @@
 # Dafny Generated Rust
 # (Rust code generation is incomplete so we're patching and checking in for now)
 #**/runtimes/rust
+# Cargo.lock files should only be committed for binaries, not libraries
+**/Cargo.lock
 
 # Polymorph Generated Dafny
 **/Model/*Types.dfy
@@ -45,4 +47,4 @@
 **/gradlew.bat
 
 # Mac OS X
-**/.DS_Store
+**/.DS_Store