diff --git a/CHANGELOG.md b/CHANGELOG.md index 73ac136ec..2295ff0e0 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -24,6 +24,8 @@ and adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). ### 🐛 Bug fixes +- Fixed issue in `static-type-checker` such that mypy no longer checks imported modules in the file being checked + ### 🔧 Internal changes - Configured CI tests to run on environments with and without `z3` dependency.