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

Triggered via pull request March 2, 2026 12:27

tautschnig

reopened #553

update-kani-metrics

Status Success

Total duration 7m 5s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.92 MB	`sha256:a9878f17ef66943a59e548f0a4b0a453cf6fa85229e5d944369337b047349087`