Skip to content

Commit

Permalink
Merge pull request #223 from egraphs-good/dependabot/cargo/rust-produ…
Browse files Browse the repository at this point in the history
…ction-e4d3c23e9f

Bump the rust-production group across 1 directory with 4 updates
  • Loading branch information
saulshanabrook authored Oct 23, 2024
2 parents 6a57f7a + e46c2ec commit d7dfd40
Show file tree
Hide file tree
Showing 2 changed files with 24 additions and 13 deletions.
29 changes: 20 additions & 9 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

8 changes: 4 additions & 4 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -21,12 +21,12 @@ egraph-serialize = { version = "0.2.0", features = ["serde", "graphviz"] }
# "serde",
# "graphviz",
# ] }
serde_json = "1.0.1"
serde_json = "1.0.132"
pyo3-log = "0.11.0"
log = "0.4.21"
lalrpop-util = { version = "0.20", features = ["lexer"] }
log = "0.4.22"
lalrpop-util = { version = "0.22", features = ["lexer"] }
ordered-float = "3.7"
uuid = { version = "1.8.0", features = ["v4"] }
uuid = { version = "1.11.0", features = ["v4"] }

# Use unreleased version of egraph-serialize in egglog as well
# [patch.crates-io]
Expand Down

0 comments on commit d7dfd40

Please sign in to comment.