Skip to content

Commit

Permalink
Merge pull request 'fix sat-rs build by using released asynchronix bu…
Browse files Browse the repository at this point in the history
…ild' (#196) from fix-minisim-deps into main

Reviewed-on: https://egit.irs.uni-stuttgart.de/rust/sat-rs/pulls/196
  • Loading branch information
robamu committed Jun 1, 2024
2 parents e753319 + 472a8ce commit a4c433a
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions satrs-minisim/Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -14,9 +14,9 @@ fern = "0.5"
humantime = "2"

[dependencies.asynchronix]
version = "0.2.1"
git = "https://github.com/asynchronics/asynchronix.git"
branch = "main"
version = "0.2.2"
# git = "https://github.com/asynchronics/asynchronix.git"
# branch = "main"
features = ["serde"]

[dependencies.satrs]
Expand Down

0 comments on commit a4c433a

Please sign in to comment.