Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

update miri #57470

Merged
merged 1 commit into from
Jan 11, 2019
Merged

update miri #57470

merged 1 commit into from
Jan 11, 2019

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Jan 9, 2019

@rust-highfive
Copy link
Collaborator

⚠️ Warning ⚠️

  • These commits modify submodules.

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 9, 2019
@oli-obk
Copy link
Contributor

oli-obk commented Jan 9, 2019

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Jan 9, 2019

📌 Commit 4da3a1c has been approved by oli-obk

@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 Jan 9, 2019
@bors
Copy link
Contributor

bors commented Jan 9, 2019

⌛ Testing commit 4da3a1c with merge 918e051138d2cb35cbccd24132ba1cfefd3447eb...

@bors
Copy link
Contributor

bors commented Jan 9, 2019

💥 Test timed out

@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 Jan 9, 2019
@RalfJung
Copy link
Member Author

Not sure what is happening? Cc @rust-lang/infra

@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 Jan 10, 2019
@pietroalbini
Copy link
Member

Everything seems to be broken.

@pietroalbini
Copy link
Member

@bors treeclosed=999

@pietroalbini
Copy link
Member

@bors treeclosed-

@bors
Copy link
Contributor

bors commented Jan 10, 2019

⌛ Testing commit 4da3a1c with merge 737f8e47379cf83060bfeb487c7e086d7b1c098e...

@bors
Copy link
Contributor

bors commented Jan 10, 2019

💥 Test timed out

@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 Jan 10, 2019
@alexcrichton
Copy link
Member

@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 Jan 10, 2019
@bors
Copy link
Contributor

bors commented Jan 11, 2019

⌛ Testing commit 4da3a1c with merge b439861...

bors added a commit that referenced this pull request Jan 11, 2019
@bors
Copy link
Contributor

bors commented Jan 11, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: oli-obk
Pushing b439861 to master...

@bors bors merged commit 4da3a1c into rust-lang:master Jan 11, 2019
@rust-highfive
Copy link
Collaborator

📣 Toolstate changed by #57470!

Tested on commit b439861.
Direct link to PR: #57470

🎉 miri on windows: test-fail → test-pass (cc @oli-obk @RalfJung @eddyb, @rust-lang/infra).
🎉 miri on linux: test-fail → test-pass (cc @oli-obk @RalfJung @eddyb, @rust-lang/infra).

rust-highfive added a commit to rust-lang-nursery/rust-toolstate that referenced this pull request Jan 11, 2019
Tested on commit rust-lang/rust@b439861.
Direct link to PR: <rust-lang/rust#57470>

🎉 miri on windows: test-fail → test-pass (cc @oli-obk @RalfJung @eddyb, @rust-lang/infra).
🎉 miri on linux: test-fail → test-pass (cc @oli-obk @RalfJung @eddyb, @rust-lang/infra).
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants