From be716e48a249a307875ce212b76cd47546c63c98 Mon Sep 17 00:00:00 2001
From: Adrien Champion <adrien.champion@protonmail.com>
Date: Thu, 11 Jun 2026 10:12:27 +0200
Subject: [PATCH 1/2] chore: add license info in lakefile

---
 lakefile.toml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lakefile.toml b/lakefile.toml
index 3d54b68..d96eda7 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -2,6 +2,7 @@ name = "ansiColor"
 version = "0.1.0"
 defaultTargets = ["AnsiColor"]
 testDriver = "tests"
+license = "Apache-2.0"
 
 [[lean_lib]]
 name = "AnsiColor"

From 0ba39c6d60b0a33cf8dd18262d50750f24dd00d0 Mon Sep 17 00:00:00 2001
From: Adrien Champion <adrien.champion@protonmail.com>
Date: Thu, 11 Jun 2026 10:13:45 +0200
Subject: [PATCH 2/2] chore: rename test driver

---
 lakefile.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lakefile.toml b/lakefile.toml
index d96eda7..ecee636 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -1,7 +1,7 @@
 name = "ansiColor"
 version = "0.1.0"
 defaultTargets = ["AnsiColor"]
-testDriver = "tests"
+testDriver = "ansiColorTests"
 license = "Apache-2.0"
 
 [[lean_lib]]
@@ -12,5 +12,5 @@ name = "example"
 root = "Example"
 
 [[lean_lib]]
-name = "tests"
+name = "ansiColorTests"
 globs = ["AnsiColorTests.+"]