Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add config for supplying sysroot path #13327

Merged
merged 1 commit into from
Oct 1, 2022

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Oct 1, 2022

No description provided.

@Veykril Veykril force-pushed the proc-macro-srv-config branch from 2e34b5a to 309587e Compare October 1, 2022 18:51
@Veykril
Copy link
Member Author

Veykril commented Oct 1, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Oct 1, 2022

📌 Commit 309587e has been approved by Veykril

It is now in the queue for this repository.

bors added a commit that referenced this pull request Oct 1, 2022
Add config for supplying sysroot path
@bors
Copy link
Contributor

bors commented Oct 1, 2022

⌛ Testing commit 309587e with merge bd17816...

@bors
Copy link
Contributor

bors commented Oct 1, 2022

💔 Test failed - checks-actions

@Veykril Veykril force-pushed the proc-macro-srv-config branch from 309587e to 5424c51 Compare October 1, 2022 19:17
@Veykril
Copy link
Member Author

Veykril commented Oct 1, 2022

@bors r+

@bors
Copy link
Contributor

bors commented Oct 1, 2022

📌 Commit 5424c51 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Oct 1, 2022

⌛ Testing commit 5424c51 with merge cdc5493...

@bors
Copy link
Contributor

bors commented Oct 1, 2022

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing cdc5493 to master...

@bors bors merged commit cdc5493 into rust-lang:master Oct 1, 2022
@Veykril Veykril deleted the proc-macro-srv-config branch October 1, 2022 19:27
@bors bors mentioned this pull request Oct 1, 2022
14 tasks
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