Skip to content

rustup - #1998

Merged
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:rustup
Mar 5, 2022
Merged

rustup#1998
bors merged 1 commit into
rust-lang:masterfrom
RalfJung:rustup

Conversation

@RalfJung

@RalfJung RalfJung commented Mar 5, 2022

Copy link
Copy Markdown
Member

Adjusts our tests for rust-lang/rust#92697

@RalfJung

RalfJung commented Mar 5, 2022

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Mar 5, 2022

Copy link
Copy Markdown
Contributor

📌 Commit 72e6d41 has been approved by RalfJung

@bors

bors commented Mar 5, 2022

Copy link
Copy Markdown
Contributor

⌛ Testing commit 72e6d41 with merge fcc2dd0...

bors added a commit that referenced this pull request Mar 5, 2022
@bors

bors commented Mar 5, 2022

Copy link
Copy Markdown
Contributor

💔 Test failed - checks-actions

@RalfJung

RalfJung commented Mar 5, 2022

Copy link
Copy Markdown
Member Author

Ah, cargo miri test no longer works with isolation at all now... that's not good. I think I'll try to adjust the stdlib instead.

Or maybe it is time to switch the default to -Zmiri-isolation-error=hide (i.e., just return an error code from open)?

@RalfJung

RalfJung commented Mar 5, 2022

Copy link
Copy Markdown
Member Author

Cc rust-lang/rust#94645

@RalfJung

RalfJung commented Mar 5, 2022

Copy link
Copy Markdown
Member Author

@bors r+

@bors

bors commented Mar 5, 2022

Copy link
Copy Markdown
Contributor

📌 Commit ec0e513 has been approved by RalfJung

@bors

bors commented Mar 5, 2022

Copy link
Copy Markdown
Contributor

⌛ Testing commit ec0e513 with merge 2c1b9ce...

@bors

bors commented Mar 5, 2022

Copy link
Copy Markdown
Contributor

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 2c1b9ce to master...

@bors
bors merged commit 2c1b9ce into rust-lang:master Mar 5, 2022
@RalfJung
RalfJung deleted the rustup branch March 5, 2022 23:18
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