Skip to content

v0.10.12

Choose a tag to compare

View all tags
@github-actions github-actions released this 11 Aug 05:55
· 2 commits to main since this release
v0.10.12
816383f
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

What's Changed

  • A postcondition says who stated it, and a verdict record says what its inputs are by @michaelfranz in #24

Full Changelog: v0.10.11...v0.10.12

Contributors

michaelfranz
Assets 5
Loading