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

Triggered via pull request October 20, 2025 08:51

tautschnig

reopened #509

update-kani-metrics

Status Success

Total duration 6m 57s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.77 MB	`sha256:a23d5361ac62378113e70401f5ea9021bea2ed19d849f526c2fee60e6692a1e8`