Skip to content

v2.9.2

Choose a tag to compare

View all tags
@yvgude yvgude released this 30 Mar 04:50
v2.9.2
ab2453c

Fixes

  • Homebrew sha256 mismatch (#30) — Formula sha256 now matches actual GitHub tarball
  • git push loses pipeline URLs (#31) — Shell hook now preserves remote: lines containing URLs (GitLab pipeline links, merge request URLs, GitHub PR links)
  • git commit loses pre-commit hook output (#31) — Pre-commit hook output (linter results, test output) is now shown before the commit summary
  • CI formatting — Fixed cargo fmt diff that caused CI failure

Install / Update

# If you have lean-ctx already:
lean-ctx update

# Or via Homebrew (once formula is updated):
brew upgrade yvgude/lean-ctx/lean-ctx

# Or via cargo:
cargo install lean-ctx

# Or via npm:
npx lean-ctx-bin

Full Changelog: v2.9.1...v2.9.2

Assets 9
Loading