Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Bump to Checker Framework 3.43.0 (#959)
The previous bug that was preventing us from upgrading (typetools/checker-framework#6396) is fixed in this release. Benchmarks show no performance regression.
- Loading branch information