Skip to content

Rollup of 3 pull requests #68580

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
Merged
merged 7 commits into from
Jan 28, 2020
Merged

Rollup of 3 pull requests #68580

merged 7 commits into from
Jan 28, 2020

Conversation

Mark-Simulacrum
Copy link
Member

Successful merges:

Failed merges:

r? @ghost

matthiaskrgr and others added 7 commits January 27, 2020 01:18
@matthiaskrgr
don't clone types that are copy, round two.
ec61761
@matthiaskrgr
make matches exhaustive
f7dcdcc
@jonhoo
Bump miri for rust-lang/miri#1150
9872407
@ehuss
Update cargo
e1a837c
@Mark-Simulacrum
Rollup merge of rust-lang#68459 - matthiaskrgr:clone_on_copy2, r=eddyb
aa6e58b 
don't clone types that are copy, round two.

Apparently fixing some of these issues makes clippy find even more so I did a couple of rounds now.

r? @eddyb
@Mark-Simulacrum
Rollup merge of rust-lang#68576 - jonhoo:bump-miri, r=oli-obk
69362b9 
update miri

Bump miri for rust-lang/miri#1150

r? @oli-obk
@Mark-Simulacrum
Rollup merge of rust-lang#68579 - ehuss:update-cargo, r=Mark-Simulacrum
b0f5f67 
Update cargo

2 commits in b68b0978ab8012f871c80736fb910d14b89c4498..9d32b7b01409024b165545c568b1525d86e2b7cb
2020-01-24 18:26:23 +0000 to 2020-01-26 18:27:29 +0000
- Polish code to clarify meaning (rust-lang/cargo#7836)
- Store maximum queue length (rust-lang/cargo#7829)
@Mark-Simulacrum
Copy link
Member Author

@bors r+ p=150

@bors
Copy link
Collaborator

bors commented Jan 27, 2020

📌 Commit b0f5f67 has been approved by Mark-Simulacrum

@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 Jan 27, 2020
bors added a commit that referenced this pull request Jan 27, 2020
@bors
Auto merge of #68580 - Mark-Simulacrum:rollup-r80xhus, r=Mark-Simulacrum
43c5a7d 
Rollup of 3 pull requests

Successful merges:

 - #68459 (don't clone types that are copy, round two.)
 - #68576 (update miri)
 - #68579 (Update cargo)

Failed merges:

r? @ghost
@bors
Copy link
Collaborator

bors commented Jan 27, 2020

⌛ Testing commit b0f5f67 with merge 43c5a7d...

@bors
Copy link
Collaborator

bors commented Jan 27, 2020

💥 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 27, 2020
@Mark-Simulacrum
Copy link
Member Author

@bors retry hopefully spurious, though in the Cargo builder, so perhaps not

@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 27, 2020
@bors
Copy link
Collaborator

bors commented Jan 27, 2020

⌛ Testing commit b0f5f67 with merge 0859451...

bors added a commit that referenced this pull request Jan 27, 2020
@bors
Auto merge of #68580 - Mark-Simulacrum:rollup-r80xhus, r=Mark-Simulacrum
0859451 
Rollup of 3 pull requests

Successful merges:

 - #68459 (don't clone types that are copy, round two.)
 - #68576 (update miri)
 - #68579 (Update cargo)

Failed merges:

r? @ghost
@bors
Copy link
Collaborator

bors commented Jan 28, 2020

☀️ Test successful - checks-azure
Approved by: Mark-Simulacrum
Pushing 0859451 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Jan 28, 2020
@bors bors merged commit b0f5f67 into rust-lang:master Jan 28, 2020
@bors bors mentioned this pull request Jan 28, 2020
Merged
@ehuss ehuss mentioned this pull request Jan 28, 2020
Closed
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.
5 participants
@Mark-Simulacrum @bors @matthiaskrgr @jonhoo @ehuss