bump

leanprover-community · May 26, 2024 · ad452ea · ad452ea
1 parent 2245c40
commit ad452ea
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,10 +4,10 @@
  [{"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
-   "rev": "e40e17375cece89474d63e1ed1455229f3b3b092",
+   "rev": "833b6f44ed35953d82f3e66d53ddeb8f35fb4a67",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing-2024-05-11",
+   "inputRev": "nightly-testing",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "aesop",

diff --git a/lakefile.toml b/lakefile.toml
@@ -1,12 +1,12 @@
 name = "aesop"
 defaultTargets = ["Aesop"]
-testRunner = "test"
+testDriver = "test"
 precompileModules = false # We would like to turn this on, but it breaks the Mathlib cache.
 
 [[require]]
 name = "batteries"
 git = "https://github.com/leanprover-community/batteries"
-rev = "nightly-testing-2024-05-11"
+rev = "nightly-testing"
 
 [[lean_lib]]
 name = "Aesop"