Skip to content

v0.8.62

Choose a tag to compare

View all tags
@github-actions github-actions released this 08 Oct 10:04
· 8 commits to main since this release
Immutable release. Only release title and notes can be modified.
v0.8.62
dcb8149
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

  • Add codegen tests and documentation for Ref; gate too-slow Kani harness by @jswrenn in #3791
  • Preserve Ref pointer metadata by @joshlf in #3626
  • Guard nightly-only Miri code with #[cfg(all(miri, test))] by @joshlf in #3802

Full Changelog: v0.8.61...v0.8.62

Contributors

joshlf and jswrenn
Assets 3
Loading