Skip to content

Conversation

RalfJung
Copy link
Member

Let's see if just bumping the rustc version is enough...

@RalfJung
Copy link
Member Author

RalfJung commented Oct 13, 2019

Oh noes... until rust-lang/rust#65342 landed we can't bump rustc in Miri. We'll have to wait.

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented Oct 14, 2019

📌 Commit aa1ed03 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Oct 14, 2019

⌛ Testing commit aa1ed03 with merge 8111e0b...

bors added a commit that referenced this pull request Oct 14, 2019
Fix for rustc and compiletest changes

Let's see if just bumping the rustc version is enough...
@RalfJung
Copy link
Member Author

Now with the compiletest bump.

@bors r+ retry

@bors
Copy link
Contributor

bors commented Oct 14, 2019

📌 Commit d8f0652 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented Oct 14, 2019

⌛ Testing commit d8f0652 with merge b0bfe9e...

bors added a commit that referenced this pull request Oct 14, 2019
Fix for rustc and compiletest changes

Let's see if just bumping the rustc version is enough...
@bors
Copy link
Contributor

bors commented Oct 14, 2019

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

@bors bors merged commit d8f0652 into rust-lang:master Oct 14, 2019
@RalfJung RalfJung deleted the rustup branch October 14, 2019 20:32
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