Skip to content

14.13.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 05 Aug 22:46
· 6 commits to main since this release
Immutable release. Only release title and notes can be modified.
14.13.0
This tag was signed with the committer’s verified signature.
HudsonGraeme Hudson Graeme
SSH Key Fingerprint: o8cqcjiOS7rGdjOcRAe8JJb/NMgZSdJxSqbl35+hKJQ
Verified
Learn about vigilant mode.
3e79e9e
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 proof coverage and final output on run completion notification by @HudsonGraeme in #612

Full Changelog: 14.12.21...14.13.0

Contributors

HudsonGraeme
Assets 12
Loading