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

Preparation for Rust 1.80. #500

Merged
merged 3 commits into from
Jul 22, 2024
Merged

Preparation for Rust 1.80. #500

merged 3 commits into from
Jul 22, 2024

Conversation

kpreid
Copy link
Owner

@kpreid kpreid commented Jul 21, 2024

This PR only fixes some lint early, and doesn't use any of the new features yet.

@kpreid kpreid added dependencies Pull requests that update a dependency file area: build labels Jul 21, 2024
kpreid added 3 commits July 21, 2024 17:45
This is so I can use the Rust 1.80 pre-release. When it's actually
released, we should update to use the prelude `size_of` path and
reenable this lint.
@kpreid kpreid merged commit 19c9dff into main Jul 22, 2024
14 checks passed
@kpreid kpreid deleted the rust80 branch July 22, 2024 01:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area: build dependencies Pull requests that update a dependency file
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant