Skip to content
Kani Performance Benchmarks

Fix issues and Update toolchain 10-26 (#2843) #203

Sign in to view logs

Fix issues and Update toolchain 10-26 (#2843)

Fix issues and Update toolchain 10-26 (#2843) #203

Triggered via push October 31, 2023 19:53
@adpaco-awsadpaco-aws
pushed d230735
main
Status Failure
Total duration 1h 32m 13s
Artifacts –

bench.yml

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

Annotations

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