VeriFast

Add contracts for NonZero::from_mut_unchecked #631

Sign in to view logs

Triggered via pull request July 10, 2025 16:33

tautschnig

synchronize #345

tautschnig:from_mut_unchecked

Status Success

Total duration 21s

Artifacts –

verifast.yml

on: pull_request

Verify std library