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.

Sign up for GitHub

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

Jump to bottom

update Miri #91666

Merged
merged 1 commit into from
Dec 9, 2021
Merged

update Miri #91666

merged 1 commit into from
Dec 9, 2021

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Dec 8, 2021

Fixes #91649
r? @ghost

@RalfJung
Copy link
Member Author

RalfJung commented Dec 8, 2021

@bors r+ p=1

@bors
Copy link
Contributor

bors commented Dec 8, 2021

📌 Commit d3167a2 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 Dec 8, 2021
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Dec 8, 2021
@matthiaskrgr
Rollup merge of rust-lang#91666 - RalfJung:miri, r=RalfJung
8196a81 
update Miri

Fixes rust-lang#91649
r? `@ghost`
@matthiaskrgr matthiaskrgr mentioned this pull request Dec 8, 2021
Closed
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Dec 8, 2021
@matthiaskrgr
Rollup merge of rust-lang#91666 - RalfJung:miri, r=RalfJung
e63611a 
update Miri

Fixes rust-lang#91649
r? ``@ghost``
@matthiaskrgr matthiaskrgr mentioned this pull request Dec 8, 2021
Closed
@bors
Copy link
Contributor

bors commented Dec 8, 2021

⌛ Testing commit d3167a2 with merge 11444ba10f69a476a71714dc25dcf98b0a51c755...

@bors
Copy link
Contributor

bors commented Dec 9, 2021

💔 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 Dec 9, 2021
@rust-log-analyzer
Copy link
Collaborator

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

@RalfJung
Copy link
Member Author

RalfJung commented Dec 9, 2021

@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 Dec 9, 2021
@matthiaskrgr matthiaskrgr mentioned this pull request Dec 9, 2021
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Dec 9, 2021
@bors
Auto merge of rust-lang#91691 - matthiaskrgr:rollup-wfommdr, r=matthi…
e250777 
…askrgr

Rollup of 5 pull requests

Successful merges:

 - rust-lang#91042 (Use Vec extend instead of repeated pushes on several places)
 - rust-lang#91476 (Improve 'cannot contain emoji' error.)
 - rust-lang#91568 (Pretty print break and continue without redundant space)
 - rust-lang#91645 (Implement `core::future::join!`)
 - rust-lang#91666 (update Miri)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 229aa1b into rust-lang:master Dec 9, 2021
@rustbot rustbot added this to the 1.59.0 milestone Dec 9, 2021
@RalfJung RalfJung deleted the miri branch December 9, 2021 16:54
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
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Milestone
1.59.0
Development

Successfully merging this pull request may close these issues.

miri no longer builds after rust-lang/rust#91484
4 participants
@RalfJung @bors @rust-log-analyzer @rustbot