rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #2861 from averms-forks/update-deps

Browse Source 
Update and clean up dependencies.
This commit is contained in:
Mark Thom
2025-03-31 19:49:54 -07:00
committed by GitHub
parent 3826ef38cd 7b6f4439bb
commit ae27e78d80
3 changed files with 828 additions and 610 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/workflows/ci.yml vendored
View File

@@ -153,7 +153,7 @@ jobs:
- name: Install CLI tools - name: Install CLI tools
run: | run: |
cargo install cargo2junit --force cargo install cargo2junit --force
version=`yq -ptoml -oy -r '.target.*.dev-dependencies.iai-callgrind|select(.)' Cargo.toml` version=`yq -ptoml -oj -r '.package[] | select(.name == "iai-callgrind") | .version' Cargo.lock`
echo installing iai-callgrind "$version" echo installing iai-callgrind "$version"
cargo install iai-callgrind-runner --force --version "$version" cargo install iai-callgrind-runner --force --version "$version"
sudo apt install valgrind -y sudo apt install valgrind -y

1425
Cargo.lock generated
View File

File diff suppressed because it is too large Load Diff

11
Cargo.toml
View File

@@ -55,15 +55,14 @@ fxhash = "0.2.1"
git-version = "0.3.9" git-version = "0.3.9"
indexmap = "2.3.0" indexmap = "2.3.0"
lazy_static = "1.5.0" lazy_static = "1.5.0"
lexical = "6.1.1" lexical = "7.0.4"
libc = "0.2.155" libc = "0.2.155"
libloading = "0.8" libloading = "0.8"
scryer-modular-bitfield = "0.11.4" scryer-modular-bitfield = "0.11.4"
num-order = { version = "1.2.0" } num-order = { version = "1.2.0" }
ordered-float = "4.2.2" ordered-float = "5.0.0"
phf = { version = "0.11", features = ["macros"] } phf = { version = "0.11", features = ["macros"] }
rand = "0.8.5" rand = "0.8.5"
regex = "1.10.6"
ring = { version = "0.17.8", features = ["wasm32_unknown_unknown_js"] } ring = { version = "0.17.8", features = ["wasm32_unknown_unknown_js"] }
ripemd = "0.1.3" ripemd = "0.1.3"
roxmltree = "0.20.0" roxmltree = "0.20.0"
@@ -72,10 +71,10 @@ sha3 = "0.10.8"
smallvec = "1.13.2" smallvec = "1.13.2"
static_assertions = "1.1.0" static_assertions = "1.1.0"
scraper = { version = "0.19.1", default-features = false, features = [ scraper = { version = "0.23.1", default-features = false, features = [
"errors", "errors",
] } ] }
ego-tree = "0.6.2" ego-tree = "0.10.0"
serde_json = "1.0.122" serde_json = "1.0.122"
@@ -120,11 +119,9 @@ ouroboros = "0.18"
[dev-dependencies] [dev-dependencies]
maplit = "1.0.2" maplit = "1.0.2"
predicates-core = "1.0.8"
serial_test = "3.1.1" serial_test = "3.1.1"
[target.'cfg(not(all(target_arch = "wasm32", target_os = "unknown")))'.dev-dependencies] [target.'cfg(not(all(target_arch = "wasm32", target_os = "unknown")))'.dev-dependencies]
assert_cmd = "2.0.15"
criterion = "0.5.1" criterion = "0.5.1"
iai-callgrind = "0.12.1" iai-callgrind = "0.12.1"
trycmd = "0.15.6" trycmd = "0.15.6"