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

ci: remove the quaint clippy jobs #4189

Merged
merged 2 commits into from
Aug 31, 2023
Merged

ci: remove the quaint clippy jobs #4189

merged 2 commits into from
Aug 31, 2023

Conversation

tomhoule
Copy link
Contributor

@tomhoule tomhoule commented Aug 31, 2023

Re-work of #4185 — see the discussion and revert PR for more details there.

@tomhoule tomhoule added this to the 5.3.0 milestone Aug 31, 2023
There is already a workspace-global clippy, so these are redundant.
@codspeed-hq
Copy link

codspeed-hq bot commented Aug 31, 2023

CodSpeed Performance Report

Merging #4189 will not alter performance

Comparing ci-quaint-remove-clippy-t2 (d4f3915) with main (f490d3f)

Summary

✅ 11 untouched benchmarks

@tomhoule tomhoule changed the title Ci quaint remove clippy t2 ci: remove the quaint clippy jobs Aug 31, 2023
@tomhoule tomhoule marked this pull request as ready for review August 31, 2023 11:18
@tomhoule tomhoule requested a review from a team as a code owner August 31, 2023 11:18
@tomhoule tomhoule merged commit 1c5aa64 into main Aug 31, 2023
54 checks passed
@tomhoule tomhoule deleted the ci-quaint-remove-clippy-t2 branch August 31, 2023 11:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant