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

Triggered via pull request November 17, 2025 12:06

tautschnig

reopened #514

update-kani-metrics

Status Success

Total duration 7m 10s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.8 MB	`sha256:5162ae2ff55f206ecd9e3a7c4bf61b652d9d0959ae8eb70e826337ea0b278a1a`