Skip to content
Kani Extra

Append harness name to the graph file (debug feature only) #2174

Sign in to view logs

Append harness name to the graph file (debug feature only)

Append harness name to the graph file (debug feature only) #2174

Triggered via pull request September 20, 2024 22:25
@celinvalcelinval
opened #3528
Status Success
Total duration 1h 5m 59s
Artifacts –

extra_jobs.yml

on: pull_request_target
Auto Label
5s
Auto Label
Verification Benchmarks  /  perf-benchcomp
1h 5m
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in