testing

leanprover-community · Nov 19, 2024 · d2b159a · d2b159a
1 parent 31347da
commit d2b159a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "9ba2e12ce6570b7fed7ad4d3675e5f6632949f2b",
+   "rev": "922825a3fa019deafbf4f61ed7c70fbdeebc9206",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",

diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2024-11-12
+leanprover/lean4-pr-releases:pr-release-6104
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2024-11-12
		leanprover/lean4-pr-releases:pr-release-6104