ci: Introduce 'dev-ci' profile in Cargo.toml (#12)

- A new profile "dev-ci" has been created in the `Cargo.toml` file,
lurk-lab · Jan 12, 2024 · a252fb6 · a252fb6
1 parent 39e3866
commit a252fb6
Showing 1 changed file with 9 additions and 0 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -56,3 +56,12 @@ harness = false
 [[bench]]
 name = "pasta_msm"
 harness = false
+
+
+[profile.dev-ci]
+inherits = "dev"
+# By compiling dependencies with optimizations, performing tests gets much faster.
+opt-level = 3
+lto = "thin"
+incremental = false
+codegen-units = 16