From a252fb6e6b23fd144a12bf11dac28b812717e270 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?=
 <4142+huitseeker@users.noreply.github.com>
Date: Fri, 12 Jan 2024 09:45:31 -0500
Subject: [PATCH] ci: Introduce 'dev-ci' profile in Cargo.toml (#12)

- A new profile "dev-ci" has been created in the `Cargo.toml` file,
---
 Cargo.toml | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/Cargo.toml b/Cargo.toml
index 2a200e0..e7fcbbf 100644
--- 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
\ No newline at end of file