Skip to content

Conversation

@RalfJung
Copy link
Member

@RalfJung RalfJung commented May 9, 2024

Fixes #3587

@RalfJung
Copy link
Member Author

RalfJung commented May 9, 2024

@bors r+

@bors
Copy link
Contributor

bors commented May 9, 2024

📌 Commit b7f37ba has been approved by RalfJung

It is now in the queue for this repository.

bors added a commit that referenced this pull request May 9, 2024
do not run symlink tests on Windows hosts

Fixes #3587
@bors
Copy link
Contributor

bors commented May 9, 2024

⌛ Testing commit b7f37ba with merge 304ccc5...

@RalfJung RalfJung force-pushed the win-symlink-trouble branch from b7f37ba to 72bcef8 Compare May 9, 2024 10:28
@RalfJung
Copy link
Member Author

RalfJung commented May 9, 2024

@bors retry r+

@bors
Copy link
Contributor

bors commented May 9, 2024

📌 Commit 72bcef8 has been approved by RalfJung

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented May 9, 2024

⌛ Testing commit 72bcef8 with merge 4ec99d7...

@bors
Copy link
Contributor

bors commented May 9, 2024

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing 4ec99d7 to master...

@bors bors merged commit 4ec99d7 into rust-lang:master May 9, 2024
@RalfJung RalfJung deleted the win-symlink-trouble branch May 9, 2024 11:14
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.

Miri tests on Windows require admin for symlinks

2 participants