bump batteries for leanprover/lean4#5338

leanprover-community · Sep 24, 2024 · 9c7bf4f · 9c7bf4f
1 parent 964c34f
commit 9c7bf4f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -7,7 +7,7 @@ open Lake DSL
 ## Mathlib dependencies on upstream projects
 -/
 
-require "leanprover-community" / "batteries" @ git "nightly-testing-2024-09-18"
+require "leanprover-community" / "batteries" @ git "lean-pr-testing-2024-09-23"
 require "leanprover-community" / "Qq" @ git "master"
 require "leanprover-community" / "aesop" @ git "master"
 require "leanprover-community" / "proofwidgets" @ git "v0.0.42"