From e7432793ed3b62908b6691f276af4f22e9aae02b Mon Sep 17 00:00:00 2001 From: Austin Letson Date: Tue, 21 Apr 2026 22:18:38 -0300 Subject: [PATCH] chore: update CHANGELOG.md --- CHANGELOG.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 9ad58f5..a2e195b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -7,6 +7,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 ## Unreleased +## v1.5.0 - 2026-04-21 + ### Added - new `nanoda` input to check environment with [nanoda](https://github.com/ammkrn/nanoda_lib) external type checker @@ -19,6 +21,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - rename the `lean4checker` input to `leanchecker`, while keeping `lean4checker` as a deprecated alias - use the bundled `leanchecker` binary on Lean `nightly-2026-01-09` / `v4.28.0-rc1` and newer, with fallback to the external `lean4checker` repository on older toolchains +### Fixed +- fixed bug where callling `.test.sh` instead of `lake test` on lean4checker on Lean `v4.27.x` would cause a failure + ## v1.4.0 - 2026-01-15 ### Added