Skip to content

v0.180.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 02 Oct 19:02
· 573 commits to main since this release
v0.180.0
13ca711
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Changelog

  • 27e24dc Merge remote-tracking branch 'origin/main' into ratchet-timing-tolerance
  • 4c9e95c feat(coverage): tolerate configured timing-dependent statements in the ratchet
  • 13ca711 feat(coverage): tolerate configured timing-dependent statements in the ratchet (#825)
  • 10a8d82 fix(coverage): narrow the ratchet timing tolerance to named functions
Assets 7
Loading