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: bump Rust 2024 edition #727

Merged
merged 4 commits into from
Mar 6, 2025
Merged

Conversation

TomasArrachea
Copy link
Collaborator

@TomasArrachea TomasArrachea commented Mar 5, 2025

Closes #674.

  • Updates Rust edition to 2024.
  • Reverts the machete version pin.

@TomasArrachea TomasArrachea force-pushed the tomasarrachea-bump-rust-2024 branch from 6a476ef to 765b816 Compare March 5, 2025 21:16
@TomasArrachea TomasArrachea marked this pull request as ready for review March 5, 2025 21:20
Copy link
Contributor

@Mirko-von-Leipzig Mirko-von-Leipzig left a comment

Choose a reason for hiding this comment

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

Looks like its 99% formatting changes - nice.

@Mirko-von-Leipzig
Copy link
Contributor

@SantiagoPittella this PR would require a rebase for yours - shouldn't be that bad, but would you like to delay merging this one?

@SantiagoPittella
Copy link
Collaborator

@Mirko-von-Leipzig I don't want to delay this and my PR is still missing reviews, and I have no problem fixing conflicts 👌🏼 feel free to merge it.

@Mirko-von-Leipzig Mirko-von-Leipzig merged commit f9ab405 into next Mar 6, 2025
10 checks passed
@Mirko-von-Leipzig Mirko-von-Leipzig deleted the tomasarrachea-bump-rust-2024 branch March 6, 2025 15:55
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.

3 participants