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

internal: Fix sysroot metadata in metrics #16387

Merged
merged 1 commit into from
Jan 17, 2024

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Jan 17, 2024

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 17, 2024
@Veykril
Copy link
Member

Veykril commented Jan 17, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 17, 2024

📌 Commit 27b0636 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jan 17, 2024

⌛ Testing commit 27b0636 with merge a19372f...

@bors
Copy link
Collaborator

bors commented Jan 17, 2024

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

@bors bors merged commit a19372f into rust-lang:master Jan 17, 2024
10 checks passed
@lnicola lnicola deleted the metrics-sysroot branch January 17, 2024 17:44
@lnicola
Copy link
Member Author

lnicola commented Jan 20, 2024

changelog fixup #16380

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants