search

taiki-e / pin-project-lite

A lightweight version of pin-project written with declarative macros.
https://docs.rs/pin-project-lite
Apache License 2.0
226 stars 16 forks source link

Run Miri on CI #49

Closed taiki-e closed 3 years ago

taiki-e commented 3 years ago

The pin guarantees are guarantees of a library, so Miri does not detect violations of the pin API. However, if the generated unsafe code causes UB, Miri may be possible to detect it.

https://github.com/taiki-e/pin-project/pull/288

taiki-e commented 3 years ago

bors r+

bors[bot] commented 3 years ago

Build succeeded: