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.

Sign up for GitHub

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

Jump to bottom

clippy #5512

Merged
merged 1 commit into from
Oct 23, 2024
Merged

clippy #5512

merged 1 commit into from
Oct 23, 2024

Conversation

PSeitz
Copy link
Contributor

@PSeitz PSeitz commented Oct 22, 2024

Description

Describe the proposed changes made in this PR.

How was this PR tested?

Describe how you tested this PR.

@github-actions GitHub Actions
Copy link

github-actions bot commented Oct 22, 2024 •
edited
Loading

On SSD:

Average search latency is 1.01x that of the reference (lower is better).
Ref run id: 3980, ref commit: 21cec26
Link

On GCS:

Average search latency is 0.943x that of the reference (lower is better).
Ref run id: 3981, ref commit: 21cec26
Link

@PSeitz PSeitz enabled auto-merge (squash) October 23, 2024 00:45
@PSeitz PSeitz merged commit 02a5b6a into main Oct 23, 2024
5 checks passed
@PSeitz PSeitz deleted the clippy branch October 23, 2024 01:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fulmicoton fulmicoton fulmicoton approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@PSeitz @fulmicoton