Skip to content
Build Book

Move std-analysis.sh script from Kani repository #1357

Sign in to view logs

Move std-analysis.sh script from Kani repository

Move std-analysis.sh script from Kani repository #1357

Triggered via pull request March 3, 2025 14:46
@tautschnigtautschnig
synchronize #261
tautschnig:move-metrics-script
Status Success
Total duration 6m 9s
Artifacts 1

book.yml

on: pull_request
build
5m 56s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages
1.69 MB