Skip to content

chore: remove some unused deps from the Bazel build#10256

Merged
nmattia merged 1 commit into
masterfrom
nm-remove-unused-deps
May 19, 2026
Merged

chore: remove some unused deps from the Bazel build#10256
nmattia merged 1 commit into
masterfrom
nm-remove-unused-deps

Conversation

@nmattia
Copy link
Copy Markdown
Contributor

@nmattia nmattia commented May 19, 2026

These dependencies are not used (they are also not present in the Cargo build).

These dependencies are not used (they are also not present in the Cargo
build).
@github-actions github-actions Bot added the chore label May 19, 2026
@nmattia nmattia marked this pull request as ready for review May 19, 2026 14:04
@nmattia nmattia requested a review from a team as a code owner May 19, 2026 14:04
@nmattia nmattia enabled auto-merge May 19, 2026 14:04
@github-actions github-actions Bot added the @idx label May 19, 2026
Copy link
Copy Markdown
Collaborator

@basvandijk basvandijk left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Spring cleaning!

@nmattia nmattia added this pull request to the merge queue May 19, 2026
Merged via the queue into master with commit 544dd35 May 19, 2026
41 checks passed
@nmattia nmattia deleted the nm-remove-unused-deps branch May 19, 2026 15:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants