From 6f856fa914916003e9e489e369c1643c8f257372 Mon Sep 17 00:00:00 2001
From: Paul-Henry Kajfasz <42912740+phklive@users.noreply.github.com>
Date: Fri, 26 Jan 2024 20:15:21 +0100
Subject: [PATCH] fix: update CI, makefile and add profile test-release (#439)

---
 .github/workflows/ci.yml |  2 +-
 Cargo.toml               | 13 +++++++------
 Makefile                 |  5 ++++-
 3 files changed, 12 insertions(+), 8 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d7fbd9139..e1082b327 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -66,7 +66,7 @@ jobs:
       matrix:
         toolchain: [stable, nightly]
         os: [ubuntu]
-        args: [--release --features 'concurrent,testing']
+        args: ["--profile test-release --features concurrent,testing"]
     timeout-minutes: 30
     steps:
       - uses: actions/checkout@v4
diff --git a/Cargo.toml b/Cargo.toml
index 2d3571ef5..5b7cf92b7 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,16 +1,17 @@
 [workspace]
-members = [
-  "miden-lib",
-  "miden-tx",
-  "mock",
-  "objects",
-]
+members = ["miden-lib", "miden-tx", "mock", "objects"]
 resolver = "2"
 
 [profile.release]
 codegen-units = 1
 lto = true
 
+[profile.test-release]
+inherits = "release"
+debug = true
+debug-assertions = true
+overflow-checks = true
+
 [profile.bench]
 codegen-units = 1
 lto = true
diff --git a/Makefile b/Makefile
index 9e8486903..59d1708e3 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,8 @@
+PROFILE_TEST=--profile test-release
+FEATURES_CONCURRENT_TESTING=--features concurrent,testing
+
 watch:
 	cargo watch -w miden-lib/asm -x build
 
 test:
-	cargo test --release --features concurrent,testing
+	cargo test $(PROFILE_TEST) $(FEATURES_CONCURRENT_TESTING)