Skip to content
Kani Performance Benchmarks

Update Kani version to 0.39.0 (#2824) #182

Sign in to view logs

Update Kani version to 0.39.0 (#2824)

Update Kani version to 0.39.0 (#2824) #182

Triggered via push October 17, 2023 21:41
@celinvalcelinval
pushed 1b57856
main
Status Failure
Total duration 1h 38m 31s
Artifacts –

bench.yml

on: push
perf-benchcomp
1h 38m
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

1 error
perf-benchcomp
Process completed with exit code 1.