Skip to content

chore: address lints in SimpleString Rust #370

chore: address lints in SimpleString Rust

chore: address lints in SimpleString Rust #370

Annotations

3 warnings

pr-ci-rust (4.4.0)  /  testRust (TestModels/dafny-dependencies/StandardLibrary)

succeeded May 2, 2024 in 1m 57s