Skip to content

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Mar 8, 2024

Fixes #3364

@oli-obk
Copy link
Contributor

oli-obk commented Mar 9, 2024

@bors r+

@bors
Copy link
Contributor

bors commented Mar 9, 2024

📌 Commit cc66644 has been approved by oli-obk

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Mar 9, 2024

⌛ Testing commit cc66644 with merge 576ae48...

@bors
Copy link
Contributor

bors commented Mar 9, 2024

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 576ae48 to master...

1 similar comment
@bors
Copy link
Contributor

bors commented Mar 9, 2024

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 576ae48 to master...

@bors bors merged commit 576ae48 into rust-lang:master Mar 9, 2024
@RalfJung RalfJung deleted the tempdir branch March 9, 2024 08:09
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.

Set MIRI_TEMP to a fresh temporary directory
3 participants