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

fix: resolve clippy warnings in nightly #252

Merged
merged 1 commit into from
Oct 21, 2024
Merged

Conversation

RisaI
Copy link
Contributor

@RisaI RisaI commented Oct 20, 2024

Clippy started acting up during nightly checks in CI. This was due to some default error levels for certain lints being changed. This PR resolves these warnings to unblock CI for many open PRs.

@RisaI RisaI changed the title fix: resolve clippy warning in nightly fix: resolve clippy warnings in nightly Oct 20, 2024
@Pr0methean
Copy link
Member

Thanks for fixing this. It will be merged when the tests pass.

@Pr0methean Pr0methean added this pull request to the merge queue Oct 20, 2024
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to no response for status checks Oct 21, 2024
@Pr0methean Pr0methean added this pull request to the merge queue Oct 21, 2024
@Pr0methean
Copy link
Member

Pr0methean commented Oct 21, 2024

Once this PR is merged, we should finally be able to merge #245, which will eliminate nearly all the merge-queue flakiness; that may be a chicken-and-egg problem for the next day or two, but I'll check in on it several times a day to retry if necessary. I've yet to see a good solution for CI workflows that have a pre-existing failure to finish within the 6 hours end-to-end that GitHub allows in merge queues, while still detecting incompatibilities between changes that arrived too close in time for one to run against the other otherwise.

Merged via the queue into zip-rs:master with commit 0663292 Oct 21, 2024
38 checks passed
@Pr0methean Pr0methean mentioned this pull request Oct 21, 2024
@RisaI RisaI deleted the clippy_fix branch November 18, 2024 14:34
This was referenced Nov 19, 2024
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.

2 participants