Skip to content

chore: Use the default profile for the stable Rust toolchain#1052

Merged
Techassi merged 1 commit intomainfrom
chore/rust-stable-profile
Jun 2, 2025
Merged

chore: Use the default profile for the stable Rust toolchain#1052
Techassi merged 1 commit intomainfrom
chore/rust-stable-profile

Commits

Commits on Jun 2, 2025