Skip to content

14.13.2

Choose a tag to compare

View all tags
@github-actions github-actions released this 10 Aug 16:30
· 2 commits to main since this release
Immutable release. Only release title and notes can be modified.
14.13.2
This tag was signed with the committer’s verified signature.
HudsonGraeme Hudson Graeme
SSH Key Fingerprint: o8cqcjiOS7rGdjOcRAe8JJb/NMgZSdJxSqbl35+hKJQ
Verified
Learn about vigilant mode.
c725175
This commit was signed with the committer’s verified signature.
HudsonGraeme Hudson Graeme
SSH Key Fingerprint: o8cqcjiOS7rGdjOcRAe8JJb/NMgZSdJxSqbl35+hKJQ
Verified
Learn about vigilant mode.

What's Changed

  • Introduce best-effort output delivery ahead of proof coverage by @HudsonGraeme in #614

Full Changelog: 14.13.1...14.13.2

Contributors

HudsonGraeme
Assets 12
Loading