ci-check
Some checks are pending
Rust/sat-rs/pipeline/head Build started...

This commit is contained in:
2023-09-26 17:35:30 +02:00
parent 7f2257c30a
commit 41145f89aa
2 changed files with 6 additions and 4 deletions

View File

@ -20,8 +20,9 @@ quote = "1"
proc-macro2 = "1"
[dependencies.satrs-core]
version = "0.1.0-alpha.1"
# git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git"
# version = "0.1.0-alpha.1"
git = "https://egit.irs.uni-stuttgart.de/rust/sat-rs.git"
branch = "main"
# rev = "35e1f7a983f6535c5571186e361fe101d4306b89"
[dev-dependencies]