Rust: Toolstate tracking is broken

Created on 12 Jun 2020  路  11Comments  路  Source: rust-lang/rust

./x.py test --stage 0 src/tools/miri fails currently due to https://github.com/rust-lang/rust/issues/73272. However, the toolstate is green nevertheless. Looks like somehow toolstate tracking is broken.

Due to this, we currently ship a broken Miri via rustup.

Cc @rust-lang/infra @Mark-Simulacrum @kennytm

P-high T-infra

Most helpful comment

@bors rollup-

You did this in an issue, not sure what that is going to accomplish. :D

All 11 comments

Yeah that's expected, the dist builders only build the tools and do not test them. The tools builder tests them.

Manifest creation (when the final toolchain is added to rustup, as part of auto -> master promotion) reads the toolstate JSON files and omits Miri if its tests failed. (So far, no other tool opted into using that system, as far as I know.)

It runs the miri tests here and shows that they fail. The toolstate processing after that is just not verbose enough to tell us what's up

It says

2020-06-11T20:43:41.5188357Z failed to run: /checkout/obj/build/bootstrap/debug/bootstrap test --no-fail-fast src/doc/book src/doc/nomicon src/doc/reference src/doc/rust-by-example src/doc/embedded-book src/doc/edition-guide src/tools/clippy src/tools/rls src/tools/rustfmt src/tools/miri

But that did not even get to Miri. It stopped after another test failure:

2020-06-11T20:43:00.3764050Z test [ui] ui/empty_line_after_outer_attribute.rs ... FAILED

I think that's a clippy test. So what likely happened is that a clippy test failed, but for some reason, instead of aborting CI, that lead to all tools being marked as test-pass...

It runs the miri tests here and shows that they fail.

That line says Verifying status of book...? And above some tests fail, but those are not Miri's tests.

Oh... right... maybe clippy tests failing cause all other tools not to get tested at all, thus leading to "successful" test results

And, notably, clippy tests failing do not block the PR from landing!

oh... right :facepalm:

so... let's do this PR and figure out things in another try?

@bors rollup-

@bors rollup-

You did this in an issue, not sure what that is going to accomplish. :D

oops. I thought we were on the PR

Was this page helpful?
0 / 5 - 0 ratings

Related issues

Leo1003 picture Leo1003  路  898Comments

nikomatsakis picture nikomatsakis  路  274Comments

cramertj picture cramertj  路  512Comments

nikomatsakis picture nikomatsakis  路  412Comments

withoutboats picture withoutboats  路  211Comments