Skip to content

Commit

Permalink
.gitignore
Browse files Browse the repository at this point in the history
  • Loading branch information
@robin-aws
robin-aws committed Aug 19, 2024
1 parent 79a84b4 commit 87adee6
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions TestModels/.gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -10,8 +10,7 @@
**/runtimes/java/src/test/dafny-generated/

# Dafny Generated Rust
# (Rust code generation is incomplete so we're patching and checking in for now)
#**/runtimes/rust
**/runtimes/rust/src/implementation_from_dafny.rs
# Cargo.lock files should only be committed for binaries, not libraries
**/Cargo.lock

Expand Down

0 comments on commit 87adee6

Please sign in to comment.