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