From ad2faab81ec3a2f8a5e60c15f03673bcebb4c976 Mon Sep 17 00:00:00 2001 From: "renovate[bot]" <29139614+renovate[bot]@users.noreply.github.com> Date: Sun, 27 Sep 2026 22:58:05 +0000 Subject: [PATCH] Update dependency github:yvgude/lean-ctx to v3.10.5 --- .config/mise.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.config/mise.toml b/.config/mise.toml index c96b846..5c816e8 100644 --- a/.config/mise.toml +++ b/.config/mise.toml @@ -1,7 +1,7 @@ [tools] "github:microsoft/apm" = { version = "v0.20.0", bin = "apm" } "github:eljulians/skillfile" = { version = "v1.7.1", bin = "skillfile" } -"github:yvgude/lean-ctx" = { version = "v3.8.8", bin = "lean-ctx" } +"github:yvgude/lean-ctx" = { version = "v3.10.5", bin = "lean-ctx" } hk = "1.48.0" pkl = "0.31.1" node = "24.16.0"