Skip to content

v7.2.13
Compare
Choose a tag to compare
@github-actions github-actions released this 18 Jul 09:10
· 29 commits to main since this release
v7.2.13
ab5b12d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

7.2.13 (2022-07-18)

Performance Improvements

  • abort stale type-checks on fast recompilations (#764) (ab5b12d)
Assets 2