Update Kani Metrics · model-checking/verify-rust-std@fbb3a9d

Triggered via pull request February 1, 2026 22:53

reopened #536

update-kani-metrics

Status Success

Total duration 6m 55s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.88 MB	`sha256:69183141356f4e7b4b1c7c0b41830194b443e3665855d965bb04dee3d6e320c5`