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

test more panics #1082

Merged
merged 2 commits into from
Dec 1, 2019
Merged

test more panics #1082

merged 2 commits into from
Dec 1, 2019

Conversation

RalfJung
Copy link
Member

Add some tests for #1071.

Blocked on rust-lang/rust#66844.

@RalfJung RalfJung added the S-blocked-on-rust Status: Blocked on landing a Rust PR label Nov 28, 2019
@RalfJung
Copy link
Member Author

The upstream PR landed but Miri currently doesn't build against master, so this is now blocked on fixing the toolstate first.

@RalfJung RalfJung removed the S-blocked-on-rust Status: Blocked on landing a Rust PR label Dec 1, 2019
@RalfJung
Copy link
Member Author

RalfJung commented Dec 1, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Dec 1, 2019

📌 Commit 2f6c4a1 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Dec 1, 2019

⌛ Testing commit 2f6c4a1 with merge 4d6078d...

bors added a commit that referenced this pull request Dec 1, 2019
test more panics

Add some tests for #1071.

Blocked on rust-lang/rust#66844.
@bors
Copy link
Contributor

bors commented Dec 1, 2019

💔 Test failed - checks-travis

@RalfJung
Copy link
Member Author

RalfJung commented Dec 1, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Dec 1, 2019

📌 Commit f7efe23 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Dec 1, 2019

⌛ Testing commit f7efe23 with merge fbe9076...

bors added a commit that referenced this pull request Dec 1, 2019
test more panics

Add some tests for #1071.

Blocked on rust-lang/rust#66844.
@bors
Copy link
Contributor

bors commented Dec 1, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing fbe9076 to master...

@bors bors merged commit f7efe23 into rust-lang:master Dec 1, 2019
@RalfJung RalfJung deleted the panic branch December 1, 2019 11:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants