search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.31k stars 327 forks source link

make some doc comments not doc tests #3430

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

./miri test --doc will run doctests even if we have them disabled (that's a cargo quirk: https://github.com/rust-lang/cargo/issues/13668). This fixes that command to not fail.

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit 278869b1729e99b140c3b72401773b8799f04088 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit 278869b1729e99b140c3b72401773b8799f04088 with merge 7bec2dbcff8d8095b773d39e49d8b6f882fbc44a...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 7bec2dbcff8d8095b773d39e49d8b6f882fbc44a to master...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 7bec2dbcff8d8095b773d39e49d8b6f882fbc44a to master...