Skip to content
Build Book

Update Kani Metrics #2099

Sign in to view logs

Update Kani Metrics

Update Kani Metrics #2099

Triggered via pull request September 9, 2025 08:00
@tautschnigtautschnig
reopened #483
update-kani-metrics
Status Success
Total duration 7m 7s
Artifacts 1

book.yml

on: pull_request
build
7m 3s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.66 MB
sha256:19c4d47d205f0a80f1f2ed857a6b88697e0e6bb7e4eb250f51a67b735ac58e49