merge lean-6388-adaptions

leanprover-community · Dec 19, 2024 · 1f4ff06 · 1f4ff06
1 parent 8b07ee5
commit 1f4ff06
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4-pr-releases:pr-release-6388
+leanprover/lean4:nightly-2024-12-19
diff --git a/widget/package-lock.json.hash b/widget/package-lock.json.hash
diff --git a/widget/package-lock.json.trace b/widget/package-lock.json.trace
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4-pr-releases:pr-release-6388
		leanprover/lean4:nightly-2024-12-19