lake update batteries

kim-em · kim-em · commit 1c06e6266069 · 2025-12-04T03:40:45.000Z
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3cdd93cee115224b08dbae553c6d9265bc8784c3",
+   "rev": "9a0ab3e8886a335b378baae6b58ce7df96440dba",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "lean-pr-testing-10204",
+   "inputRev": "nightly-testing",
    "inherited": false,
    "configFile": "lakefile.toml"}],
  "name": "aesop",
diff --git a/lakefile.toml b/lakefile.toml
@@ -9,7 +9,7 @@ leanOptions = {experimental.module = true}
 [[require]]
 name = "batteries"
 git = "https://github.com/leanprover-community/batteries"
-rev = "lean-pr-testing-10204"
+rev = "nightly-testing"
 
 [[lean_lib]]
 name = "Aesop"
