Use pr-release toolchain

JLimperg · JLimperg · commit f0500728e279 · 2025-02-09T14:22:47.000+01:00
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-lean4-work
+leanprover/lean4-pr-releases:pr-release-7006

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-lean4-work`
	`1`	`+leanprover/lean4-pr-releases:pr-release-7006`