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

Triggered via pull request February 23, 2026 13:39

tautschnig

reopened #551

update-kani-metrics

Status Success

Total duration 7m 16s

Artifacts 1

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	2.91 MB	`sha256:0f1776310d9fb73f4e0d7a40dd3ff301e884b3186ffb96b90ead066f4b8307cc`