Skip to content

Conversation

LeFrosch
Copy link
Collaborator

Somehow this change got lost in #7944

@LeFrosch LeFrosch marked this pull request as ready for review October 17, 2025 09:16
@github-actions github-actions bot added the awaiting-review Awaiting review from Bazel team on PRs label Oct 17, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

awaiting-review Awaiting review from Bazel team on PRs

Projects

Status: Untriaged

Development

Successfully merging this pull request may close these issues.

1 participant