chore: update toolchain

hargoniX · Nov 20, 2024 · 8d7739f · 8d7739f
1 parent 3959b47
commit 8d7739f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2024-11-09
+leanprover/lean4:nightly-2024-11-19
diff --git a/log.txt b/log.txt
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		leanprover/lean4:nightly-2024-11-09
		leanprover/lean4:nightly-2024-11-19