Skip to content
ci

Update the default Cargo.toml produced by cargo verus new to only list #7601

Sign in to view logs

Update the default Cargo.toml produced by cargo verus new to only list

Update the default Cargo.toml produced by cargo verus new to only list #7601

test-and-release-macos (no-std)

test-and-release-macos (no-std)
succeeded Aug 12, 2025 in 4m 1s