iter: add `kani` proof for `next_unchecked` (#280) · model-checking/verify-rust-std@9e55863

Triggered via pull request October 10, 2025 16:09

ghost

synchronize #501

Status Success

Total duration 7m 1s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.72 MB	`sha256:a22794088b0198a23cb9f9c79473118a1d54cf36315b6246dc4f17c9f4a5a474`