Skip to content

Pin zerocopy to 0.8.59 in the cargo-kani tests that depend on rand - #4989

Closed
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:pin-zerocopy-tests
Closed

Pin zerocopy to 0.8.59 in the cargo-kani tests that depend on rand#4989
feliperodri wants to merge 1 commit into
model-checking:mainfrom
feliperodri:pin-zerocopy-tests

Pin zerocopy to 0.8.59 in the cargo-kani tests that depend on rand

117c27f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
clippy-check
succeeded Oct 7, 2026 in 2m 46s