Skip to content

update miri#72091

Merged
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:miri
May 12, 2020
Merged

update miri#72091
bors merged 2 commits into
rust-lang:masterfrom
RalfJung:miri

Conversation

@RalfJung

@RalfJung RalfJung commented May 10, 2020

Copy link
Copy Markdown
Member

Fixes #72037
Cc @rust-lang/miri r? @ghost

@RalfJung

RalfJung commented May 10, 2020

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented May 10, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 82e8119 has been approved by RalfJung

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label May 10, 2020
@RalfJung

RalfJung commented May 11, 2020

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented May 11, 2020

Copy link
Copy Markdown
Collaborator

📌 Commit 42f70d5 has been approved by RalfJung

@RalfJung

RalfJung commented May 12, 2020

Copy link
Copy Markdown
Member Author

@bors p=1

@bors

bors commented May 12, 2020

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 42f70d5 with merge b4521fa81937c491656c6327431e54efa3ad6f8d...

@bors

bors commented May 12, 2020

Copy link
Copy Markdown
Collaborator

💔 Test failed - checks-actions

@bors bors added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. and removed S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. labels May 12, 2020
@RalfJung

RalfJung commented May 12, 2020

Copy link
Copy Markdown
Member Author 
 Documenting std v0.0.0 (D:\a\rust\rust\src\libstd)
thread '<unnamed>' panicked at 'attempt to subtract with overflow', C:\Users\runneradmin\.cargo\registry\src\github.com-1ecc6299db9ec823\rustc-rayon-core-0.3.0\src\sleep\mod.rs:330:21
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
Rayon: detected unexpected panic; aborting
error: Could not document `std`.

That is... very confusing? How can it be related to this PR?
Cc @rust-lang/rustdoc

@RalfJung

RalfJung commented May 12, 2020

Copy link
Copy Markdown
Member Author

Let's see if this reproduces...
@bors retry

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels May 12, 2020
@bors

bors commented May 12, 2020

Copy link
Copy Markdown
Collaborator

⌛ Testing commit 42f70d5 with merge 769d12e...

@bors

bors commented May 12, 2020

Copy link
Copy Markdown
Collaborator

☀️ Test successful - checks-actions, checks-azure
Approved by: RalfJung
Pushing 769d12e to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label May 12, 2020
@bors bors merged commit 769d12e into rust-lang:master May 12, 2020
@rust-highfive

rust-highfive commented May 12, 2020

Copy link
Copy Markdown
Contributor

📣 Toolstate changed by #72091!

Tested on commit 769d12e.
Direct link to PR: #72091

🎉 miri on windows: build-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
🎉 miri on linux: build-fail → test-pass (cc @oli-obk @eddyb @RalfJung).

rust-highfive added a commit to rust-lang-nursery/rust-toolstate that referenced this pull request May 12, 2020
@rust-highfive
📣 Toolstate changed by rust-lang/rust#72091!
465e1f5 
Tested on commit rust-lang/rust@769d12e.
Direct link to PR: <rust-lang/rust#72091>

🎉 miri on windows: build-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
🎉 miri on linux: build-fail → test-pass (cc @oli-obk @eddyb @RalfJung).
@RalfJung RalfJung deleted the miri branch May 14, 2020 16:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

miri no longer builds after rust-lang/rust#71418

3 participants

@RalfJung @bors @rust-highfive