Skip to content

Update to Rust edition 2024#113

Merged
wojciechozga merged 1 commit intomainfrom
woz/rust_edition_2024
Oct 21, 2025
Merged

Update to Rust edition 2024#113
wojciechozga merged 1 commit intomainfrom
woz/rust_edition_2024

Conversation

@wojciechozga
Copy link
Copy Markdown
Member

Description of the changes

Recently, we have updated ACE to use the newest version of RefinedRust, which supports nowadays Rust compiler with edition 2024. This MR updates security monitor to Rust 2024 as well.

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Formal verification
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Refactorization (non-breaking change which improves code quality)

Signed-off-by: Wojciech Ozga <woz@zurich.ibm.com>
@wojciechozga wojciechozga self-assigned this Oct 20, 2025
@wojciechozga wojciechozga merged commit b831232 into main Oct 21, 2025
4 checks passed
@wojciechozga wojciechozga deleted the woz/rust_edition_2024 branch October 21, 2025 08:49
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