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

Rollup of 5 pull requests #71750

Closed
wants to merge 11 commits into from

Conversation

Dylan-DPC-zz
Copy link

Successful merges:

Failed merges:

r? @ghost

mzohreva and others added 11 commits April 22, 2020 14:24
Referenced was removed in 9f492fe
Process termination test for SGX

The issue is described in fortanix/rust-sgx#109

cc @jethrogb
Miri: port error backtraces to std::backtrace

No need to pull in an external dependency if libstd already includes this feature (using the same dependency internally, but... still).

r? @oli-obk
remove obsolete comment

Referenced was removed in 9f492fe
…sts-cleanup, r=oli-obk

Remove deadcode in eval_mir_constant_to_operand

r? @oli-obk @RalfJung
fix Miri error message padding

I screwed up in the previous PR, and accidentally padded with spaces instead of 0s...

r? @oli-obk
@Dylan-DPC-zz
Copy link
Author

@bors r+ rollup=never p=5

@bors
Copy link
Contributor

bors commented May 1, 2020

📌 Commit a7e5d0d has been approved by Dylan-DPC

@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 1, 2020
@bors
Copy link
Contributor

bors commented May 1, 2020

⌛ Testing commit a7e5d0d with merge 1ff2e8bacdbbbcf7b5a5fd9e63d766eac816c9a2...

@bors
Copy link
Contributor

bors commented May 1, 2020

💔 Test failed - checks-azure

@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 1, 2020
@Dylan-DPC-zz Dylan-DPC-zz deleted the rollup-ty1e080 branch May 1, 2020 17:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants