Skip to content
Performance Benchmarking

Run performance comparison in CI using Kani's Benchcomp #18

Sign in to view logs

Run performance comparison in CI using Kani's Benchcomp

Run performance comparison in CI using Kani's Benchcomp #18

Triggered via pull request January 25, 2024 14:55
@tautschnigtautschnig
synchronize #8171
tautschnig:features/benchcomp
Status Failure
Total duration 3m 25s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
3m 16s
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

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