Skip to content

chore: remove unused benchmark script#675

Merged
gbotrel merged 1 commit intomasterfrom
cleanup/bench
Apr 10, 2025
Merged

chore: remove unused benchmark script#675
gbotrel merged 1 commit intomasterfrom
cleanup/bench

Conversation

@ivokub
Copy link
Copy Markdown
Collaborator

@ivokub ivokub commented Apr 9, 2025

Description

Cleans up benchmark script not used for a while. Mainly to prevent AI generated pull requests.

@ivokub ivokub added the type: cleanup Suggestion to clean up the code label Apr 9, 2025
@ivokub ivokub requested review from Copilot, gbotrel and yelhousni April 9, 2025 23:18
@ivokub ivokub self-assigned this Apr 9, 2025
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Copilot reviewed 1 out of 1 changed files in this pull request and generated no comments.

@gbotrel gbotrel merged commit 5e13c6a into master Apr 10, 2025
5 checks passed
@gbotrel gbotrel deleted the cleanup/bench branch April 10, 2025 16:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

type: cleanup Suggestion to clean up the code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants