github-actions[bot] Bot released v3.10.4 of yvgude/lean-ctx · September 26, 2026 02:20 yvgude / /yvgude/lean-ctx v3.10.4 Fixed — lean-ctx update --help no longer installs an updatelean-ctx update --help (and -h, and the same flags on enable-gpu)now print the command's options. Before, the flag was ignored and the… Read more