improve dev build times for everyone (#2133)

improve dev build times for everyone --------- Co-authored-by: tbro <tbro@users.noreply.github.com>
EspressoSystems · Oct 9, 2024 · d4cb7a9 · d4cb7a9
1 parent 05800f0
commit d4cb7a9
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -144,3 +144,12 @@ paste = "1.0"
 rand = "0.8.5"
 time = "0.3"
 trait-set = "0.3.0"
+[profile.dev]
+# No optimizations
+opt-level = 0
+# Skip compiling the debug information.
+debug = false
+# Skip linking debug information.
+strip = "debuginfo"
+[profile.dev.package."*"]
+opt-level = 3