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

Triggered via pull request August 4, 2025 06:53

tautschnig

reopened #442

update-kani-metrics

Status Success

Total duration 7m 9s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.57 MB	`sha256:c701bbe881e94629f2bea8d6ff3517186d318db928398147709acb8e4924c4a2`