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

Switch to clippy nightly #2037

Merged
merged 1 commit into from
Apr 24, 2023
Merged

Switch to clippy nightly #2037

merged 1 commit into from
Apr 24, 2023

Conversation

soenkehahn
Copy link
Collaborator

@soenkehahn soenkehahn commented Apr 22, 2023

This PR switches clippy to nightly, both in ci scripts and for just clippy and friends. This is to workaround this issue, which I believe is fixed here, but hasn't landed in the stable version of clippy. This PR should be reverted once the fix lands.

Fixes #2035.

Of course this has some downsides:

  • Nightly clippy is not stable, so we may have some CI issues introduced in newer nightly versions. (We could try to pin down clippy to an exact nightly version, which would avoid this. Any opinions?)
  • CI caches get bigger.
  • Before locally running just clippy (or e.g. just ci) you have to run rustup install nightly.

uses: actions-rs/toolchain@v1
with:
components: clippy, rustfmt
components: rustfmt
override: true
toolchain: stable
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

rustfmt is still installed as the stable version.

- uses: Swatinem/rust-cache@v2
with:
key: "clippy-nightly"
Copy link
Collaborator Author

Choose a reason for hiding this comment

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

Hopefully this will mean that -- once we revert this PR -- we will not suffer from bigger caches anymore.

Should be reverted once rust-lang/rust-clippy#10502
is released in a stable `clippy`.
@soenkehahn soenkehahn changed the title [wip] switch to clippy nightly Switch to clippy nightly Apr 22, 2023
@soenkehahn soenkehahn marked this pull request as ready for review April 22, 2023 23:27
@soenkehahn soenkehahn mentioned this pull request Apr 22, 2023
@casey casey merged commit 1d09c65 into master Apr 24, 2023
@casey casey deleted the sh/fix-clippy branch April 24, 2023 19:31
@casey
Copy link
Collaborator

casey commented Apr 24, 2023

Nice, merged!

popcnt1 pushed a commit to popcnt1/ord that referenced this pull request Jan 11, 2025
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.

Fix clippy
2 participants