From 4d724e560f9d7945e38f46aa27d163bae4a649e2 Mon Sep 17 00:00:00 2001 From: Adrien Champion Date: Sat, 14 Mar 2026 10:44:47 +0100 Subject: [PATCH 1/3] chore: bump to 4.29.0-rc6 --- lakefile.toml | 6 +++--- lean-toolchain | 2 +- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/lakefile.toml b/lakefile.toml index 00f8f6d..e845251 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -1,10 +1,10 @@ -name = "AnsiColor" +name = "ansiColor" version = "0.1.0" -defaultTargets = ["AnsiColor"] +defaultTargets = ["ansiColor"] testDriver = "tests" [[lean_lib]] -name = "AnsiColor" +name = "ansiColor" [[lean_exe]] name = "example" diff --git a/lean-toolchain b/lean-toolchain index 870bbe4..87b20aa 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -stable \ No newline at end of file +leanprover/lean4:v4.29.0-rc6 From 47100d162f7213f6fbf8ebfb28678445c5c1fd1a Mon Sep 17 00:00:00 2001 From: Adrien Champion Date: Sat, 14 Mar 2026 10:46:28 +0100 Subject: [PATCH 2/3] chore: fix CI --- lakefile.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/lakefile.toml b/lakefile.toml index e845251..b286926 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -5,6 +5,7 @@ testDriver = "tests" [[lean_lib]] name = "ansiColor" +root = "AnsiColor" [[lean_exe]] name = "example" From 448241e1deec5d36b25978f4a19e5d7e73795257 Mon Sep 17 00:00:00 2001 From: Adrien Champion Date: Sat, 14 Mar 2026 10:52:51 +0100 Subject: [PATCH 3/3] chore: CI --- lakefile.toml | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/lakefile.toml b/lakefile.toml index b286926..f7f5b0c 100644 --- a/lakefile.toml +++ b/lakefile.toml @@ -1,11 +1,10 @@ name = "ansiColor" version = "0.1.0" -defaultTargets = ["ansiColor"] +defaultTargets = ["AnsiColor"] testDriver = "tests" [[lean_lib]] -name = "ansiColor" -root = "AnsiColor" +name = "AnsiColor" [[lean_exe]] name = "example"