Skip to content

v1.18.0

Choose a tag to compare

View all tags
@github-actions github-actions released this 28 May 20:29
· 5 commits to main since this release
v1.18.0
This tag was signed with the committer’s verified signature.
CybotTM Sebastian Mendel
SSH Key Fingerprint: NOxv8dcZlMFz3wrLdHILVNSnF6xskqAjN3bnn0i7K30
Verified
Learn about vigilant mode.
f9ef2ce
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

  • feat(references): add contracts-and-invariants by @CybotTM in #56
  • feat: add .pre-commit-config.yaml mirroring CI checks by @CybotTM in #57
  • chore(release): v1.18.0 by @CybotTM in #58

Full Changelog: v1.17.1...v1.18.0

Contributors

CybotTM
Assets 8
Loading