Skip to content
Build Book

Parse log file of multi-threaded Kani run (terse output) into JSON #1721

Sign in to view logs

Parse log file of multi-threaded Kani run (terse output) into JSON

Parse log file of multi-threaded Kani run (terse output) into JSON #1721

Triggered via pull request May 20, 2025 15:12
@tautschnigtautschnig
synchronize #324
tautschnig:metrics-tooling2
Status Success
Total duration 5m 24s
Artifacts 1

book.yml

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

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.29 MB
sha256:d4a438fc0d459b3e05a5a385002568b471be591f3862e4c828e5091432794d95