~dannypsnl/violet

d7c77bb8bc92a295a14af28ab08064fee845dc11 — Lîm Tsú-thuàn 3 months ago a1b3cce
use exact version in lean-toolchain

As a final product, I think we should stick on a specialized version, so
the potential mismatched problem can be eliminated. As opposite, in
library we can use `stable` tag.

Signed-off-by: Lîm Tsú-thuàn <dannypsnl@tuta.io>
1 files changed, 1 insertions(+), 1 deletions(-)

M lean-toolchain
M lean-toolchain => lean-toolchain +1 -1
@@ 1,1 1,1 @@
leanprover/lean4:stable
leanprover/lean4:v4.2.0