Build Book

Update Kani Metrics #1289

Triggered via pull request February 9, 2025 06:15

tautschnig

reopened #245

update-kani-metrics

Status Success

Total duration 5m 26s

Artifacts 1

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

book.yml

on: pull_request

Produced during runtime

Name	Size	Digest
github-pages Expired	1.64 MB	`sha256:6d9a47c6c7ab800705710172fc95df4bfebeaad66d6c242e7e63f3e167c71f4a`