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: Run metadata on sysroot for CI metrics #16380

Merged
merged 1 commit into from
Jan 17, 2024

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jan 17, 2024

No description provided.

@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 Author

Veykril commented Jan 17, 2024

@bors r+

@bors
Copy link
Collaborator

bors commented Jan 17, 2024

📌 Commit 21723cb 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 21723cb with merge 2b02df2...

@bors
Copy link
Collaborator

bors commented Jan 17, 2024

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

@bors bors merged commit 2b02df2 into rust-lang:master Jan 17, 2024
10 checks passed
@Veykril
Copy link
Member Author

Veykril commented Jan 17, 2024

Fails as expected https://github.com/rust-lang/rust-analyzer/actions/runs/7553812361/job/20565536169#step:5:48, probably cause the sysroot is immutable

@lnicola
Copy link
Member

lnicola commented Jan 17, 2024

Nah, it just needs an internal feature (#16387).

@Veykril
Copy link
Member Author

Veykril commented Jan 17, 2024

🙄

bors added a commit that referenced this pull request Jan 17, 2024
internal: Fix sysroot metadata in metrics

CC #16380 (comment)
@lnicola lnicola changed the title Run metadata on sysroot for CI metrics internal: Run metadata on sysroot for CI metrics Jan 20, 2024
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