bump batteries

leanprover-community · May 30, 2024 · 6ab75df · 6ab75df
1 parent 2d2111b
commit 6ab75df
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 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": "8ce9df481fe745b0291e8a2cf931571abe875fa6",
+   "rev": "22a0de4796b15102e74cb49a2481b425dcb99dd5",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing-2024-05-21",
+   "inputRev": "lean-pr-testing-4242",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/quote4",

diff --git a/lakefile.lean b/lakefile.lean
@@ -21,7 +21,7 @@ package mathlib where
 meta if get_config? doc = some "on" then -- do not download and build doc-gen4 by default
 require «doc-gen4» from git "https://github.com/leanprover/doc-gen4" @ "main"
 
-require batteries from git "https://github.com/leanprover-community/batteries" @ "nightly-testing-2024-05-21"
+require batteries from git "https://github.com/leanprover-community/batteries" @ "lean-pr-testing-4242"
 require Qq from git "https://github.com/leanprover-community/quote4" @ "nightly-testing"
 require aesop from git "https://github.com/leanprover-community/aesop" @ "nightly-testing"
 require proofwidgets from git "https://github.com/leanprover-community/ProofWidgets4" @ "v0.0.36"