Skip to content

Commit

Permalink
Update changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
herenali committed Jan 18, 2025
1 parent 8a4c76c commit fbbd947
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit fbbd947

Please sign in to comment.