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

[CHORE] fix self clippy lints #2875

Closed

Conversation

andrewgazelka
Copy link
Member

No description provided.

@andrewgazelka andrewgazelka changed the title fix self clippy lints [CHORE] fix self clippy lints Sep 21, 2024
@github-actions github-actions bot added the chore label Sep 21, 2024
Copy link

codspeed-hq bot commented Sep 21, 2024

CodSpeed Performance Report

Merging #2875 will not alter performance

Comparing andrewgazelka:andrew/use-clippy (b78a619) with main (b0f31e3)

Summary

✅ 17 untouched benchmarks

@samster25
Copy link
Member

looks good, we should however also add this commit to ignore revs like we do with our last import formatting. This will help preserve the git blame.
#2807

https://moxio.com/blog/ignoring-bulk-change-commits-with-git-blame/

@andrewgazelka
Copy link
Member Author

andrewgazelka commented Sep 21, 2024

@samster25 tbh I am kinda confused

image image

perhaps GitHub caching issue? ¯_(ツ)_/¯

@samster25
Copy link
Member

@andrewgazelka I believe github runs the CI on the post merge commit. I think you should be fine with rebasing and then merging real real fast

@andrewgazelka
Copy link
Member Author

andrewgazelka commented Sep 24, 2024

opening separate PR on this repo instead of my personal one #2908

@andrewgazelka andrewgazelka deleted the andrew/use-clippy branch September 24, 2024 18:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants