Skip to content
Build Book

Update Kani Metrics #2123

Sign in to view logs

Update Kani Metrics

Update Kani Metrics #2123

Triggered via pull request September 14, 2025 22:20
@tautschnigtautschnig
reopened #492
update-kani-metrics
Status Success
Total duration 6m 53s
Artifacts 1

book.yml

on: pull_request
build
6m 50s
build
deploy
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.69 MB
sha256:b1d35e13eea43354af1516026682ba921fc57fbd2a37699d7807aba15b9d9e5b