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

Triggered via pull request January 18, 2026 20:31

tautschnig

reopened #522

update-kani-metrics

Status Success

Total duration 6m 56s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.85 MB	`sha256:209f30575329353e6e129395d887fdfc74b84264e94ea70241060d268e58c900`