remove core_ci file, remove gmp-mpfr-sys custom dep

danilopedraza · Jan 22, 2025 · f9bef67 · f9bef67
1 parent 61753ba
commit f9bef67
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 130 deletions.
diff --git a/.github/workflows/core_ci.yml b/.github/workflows/core_ci.yml
diff --git a/core/Cargo.lock b/core/Cargo.lock
diff --git a/core/Cargo.toml b/core/Cargo.toml
@@ -10,7 +10,6 @@ repl = [ "rustyline" ]
 codespan-reporting = "0.11.1"
 hifijson = "0.2.2"
 pretty_assertions = "1.4.1"
-gmp-mpfr-sys = { version = "1.6.4", features = [ "force-cross" ]}
 rug = "1.26.1"
 rustyline = { version = "14.0.0", optional = true }
 unindent = "0.2.3"