From 82065c6187ea2c470557ab06ce3269dc141f42ba Mon Sep 17 00:00:00 2001 From: Joscha Date: Tue, 15 Sep 2026 17:49:40 +0200 Subject: [PATCH 1/2] chore: bump toolchain to v4.35.0-rc1 --- lake-manifest.json | 2 +- lean-toolchain | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lake-manifest.json b/lake-manifest.json index b6922d8..546a958 100644 --- a/lake-manifest.json +++ b/lake-manifest.json @@ -5,7 +5,7 @@ "type": "git", "subDir": null, "scope": "leanprover", - "rev": "076e8e57707e813375e8f9da8bf989799ace9680", + "rev": "fd0d78eaa91750096cf519907b266efb1b26bf22", "name": "lean4export", "manifestFile": "lake-manifest.json", "inputRev": "master", diff --git a/lean-toolchain b/lean-toolchain index 12359f9..3d1dc1d 100644 --- a/lean-toolchain +++ b/lean-toolchain @@ -1 +1 @@ -leanprover/lean4:v4.34.0 +leanprover/lean4:v4.35.0-rc1 From 2c9e5513c48a42c56fcee9e368e8cebb7ae70623 Mon Sep 17 00:00:00 2001 From: Joscha Date: Tue, 15 Sep 2026 23:21:56 +0200 Subject: [PATCH 2/2] disable nanoda tests until rc2 --- .../simple_multi_nanoda/Challenge.lean | 0 .../simple_multi_nanoda/Solution.lean | 0 .../simple_multi_nanoda/config.json | 0 .../{projects => projects-disabled}/simple_multi_nanoda/test.json | 0 .../{projects => projects-disabled}/simple_nanoda/Challenge.lean | 0 tests/{projects => projects-disabled}/simple_nanoda/Solution.lean | 0 tests/{projects => projects-disabled}/simple_nanoda/config.json | 0 tests/{projects => projects-disabled}/simple_nanoda/test.json | 0 .../simple_nanoda_compat/Challenge.lean | 0 .../simple_nanoda_compat/Solution.lean | 0 .../simple_nanoda_compat/config.json | 0 .../simple_nanoda_compat/test.json | 0 12 files changed, 0 insertions(+), 0 deletions(-) rename tests/{projects => projects-disabled}/simple_multi_nanoda/Challenge.lean (100%) rename tests/{projects => projects-disabled}/simple_multi_nanoda/Solution.lean (100%) rename tests/{projects => projects-disabled}/simple_multi_nanoda/config.json (100%) rename tests/{projects => projects-disabled}/simple_multi_nanoda/test.json (100%) rename tests/{projects => projects-disabled}/simple_nanoda/Challenge.lean (100%) rename tests/{projects => projects-disabled}/simple_nanoda/Solution.lean (100%) rename tests/{projects => projects-disabled}/simple_nanoda/config.json (100%) rename tests/{projects => projects-disabled}/simple_nanoda/test.json (100%) rename tests/{projects => projects-disabled}/simple_nanoda_compat/Challenge.lean (100%) rename tests/{projects => projects-disabled}/simple_nanoda_compat/Solution.lean (100%) rename tests/{projects => projects-disabled}/simple_nanoda_compat/config.json (100%) rename tests/{projects => projects-disabled}/simple_nanoda_compat/test.json (100%) diff --git a/tests/projects/simple_multi_nanoda/Challenge.lean b/tests/projects-disabled/simple_multi_nanoda/Challenge.lean similarity index 100% rename from tests/projects/simple_multi_nanoda/Challenge.lean rename to tests/projects-disabled/simple_multi_nanoda/Challenge.lean diff --git a/tests/projects/simple_multi_nanoda/Solution.lean b/tests/projects-disabled/simple_multi_nanoda/Solution.lean similarity index 100% rename from tests/projects/simple_multi_nanoda/Solution.lean rename to tests/projects-disabled/simple_multi_nanoda/Solution.lean diff --git a/tests/projects/simple_multi_nanoda/config.json b/tests/projects-disabled/simple_multi_nanoda/config.json similarity index 100% rename from tests/projects/simple_multi_nanoda/config.json rename to tests/projects-disabled/simple_multi_nanoda/config.json diff --git a/tests/projects/simple_multi_nanoda/test.json b/tests/projects-disabled/simple_multi_nanoda/test.json similarity index 100% rename from tests/projects/simple_multi_nanoda/test.json rename to tests/projects-disabled/simple_multi_nanoda/test.json diff --git a/tests/projects/simple_nanoda/Challenge.lean b/tests/projects-disabled/simple_nanoda/Challenge.lean similarity index 100% rename from tests/projects/simple_nanoda/Challenge.lean rename to tests/projects-disabled/simple_nanoda/Challenge.lean diff --git a/tests/projects/simple_nanoda/Solution.lean b/tests/projects-disabled/simple_nanoda/Solution.lean similarity index 100% rename from tests/projects/simple_nanoda/Solution.lean rename to tests/projects-disabled/simple_nanoda/Solution.lean diff --git a/tests/projects/simple_nanoda/config.json b/tests/projects-disabled/simple_nanoda/config.json similarity index 100% rename from tests/projects/simple_nanoda/config.json rename to tests/projects-disabled/simple_nanoda/config.json diff --git a/tests/projects/simple_nanoda/test.json b/tests/projects-disabled/simple_nanoda/test.json similarity index 100% rename from tests/projects/simple_nanoda/test.json rename to tests/projects-disabled/simple_nanoda/test.json diff --git a/tests/projects/simple_nanoda_compat/Challenge.lean b/tests/projects-disabled/simple_nanoda_compat/Challenge.lean similarity index 100% rename from tests/projects/simple_nanoda_compat/Challenge.lean rename to tests/projects-disabled/simple_nanoda_compat/Challenge.lean diff --git a/tests/projects/simple_nanoda_compat/Solution.lean b/tests/projects-disabled/simple_nanoda_compat/Solution.lean similarity index 100% rename from tests/projects/simple_nanoda_compat/Solution.lean rename to tests/projects-disabled/simple_nanoda_compat/Solution.lean diff --git a/tests/projects/simple_nanoda_compat/config.json b/tests/projects-disabled/simple_nanoda_compat/config.json similarity index 100% rename from tests/projects/simple_nanoda_compat/config.json rename to tests/projects-disabled/simple_nanoda_compat/config.json diff --git a/tests/projects/simple_nanoda_compat/test.json b/tests/projects-disabled/simple_nanoda_compat/test.json similarity index 100% rename from tests/projects/simple_nanoda_compat/test.json rename to tests/projects-disabled/simple_nanoda_compat/test.json