phase_rustdoc: add a heuristic to make us more certain that this is really rustdoc

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation

Apache License 2.0

4.31k stars 327 forks source link

Closed RalfJung closed 5 months ago

RalfJung commented 5 months ago

Also add anyhow to test-cargo-miri; it has a custom build probe and is widely used so let's make sure the build script does not fail.

RalfJung commented 5 months ago

@bors r+

bors commented 5 months ago

:pushpin: Commit d04877921278e5f23e1a74ac7edfc012bc8cc7e6 has been approved by RalfJung

It is now in the queue for this repository.

bors commented 5 months ago

:hourglass: Testing commit d04877921278e5f23e1a74ac7edfc012bc8cc7e6 with merge 878fa90fec57548848dea21d571f34d494e64b60...

bors commented 5 months ago

:sunny: Test successful - checks-actions Approved by: RalfJung Pushing 878fa90fec57548848dea21d571f34d494e64b60 to master...