Skip to content

Fix ice reporting - #4551

Merged
bors merged 3 commits into
masterfrom
unknown repository
Sep 19, 2019
Merged

Fix ice reporting#4551
bors merged 3 commits into
masterfrom
unknown repository

Conversation

@ghost

@ghost ghost commented Sep 18, 2019

Copy link
Copy Markdown

changelog: none

jolson88 and others added 3 commits September 16, 2019 11:08
A [recent PR](https://github.com/rust-lang/rust/pull/60584/files#diff-707a0eda6b2f1a0537abc3d23133748cL1151)
changed the function name from `report_ices_to_stderr_if_any` to `catch_fatal_errors`. This PR changes to using
the new function name.
@ghost

ghost commented Sep 18, 2019

Copy link
Copy Markdown
Author

Let's see if this works.

@llogiq

llogiq commented Sep 19, 2019

Copy link
Copy Markdown
Contributor

@bors r+

@bors

bors commented Sep 19, 2019

Copy link
Copy Markdown
Contributor

📌 Commit 16ce071 has been approved by llogiq

@bors

bors commented Sep 19, 2019

Copy link
Copy Markdown
Contributor

⌛ Testing commit 16ce071 with merge a5e568b...

bors added a commit that referenced this pull request Sep 19, 2019
@llogiq

llogiq commented Sep 19, 2019

Copy link
Copy Markdown
Contributor

LGTM, thank you!

@bors

bors commented Sep 19, 2019

Copy link
Copy Markdown
Contributor

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

@bors
bors merged commit 16ce071 into rust-lang:master Sep 19, 2019
@ghost
ghost deleted the fix-ice-reporting branch September 24, 2019 04:31
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.

4 participants