Skip to content
Performance Benchmarking

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

Sign in to view logs

Run performance comparison in CI using Kani's Benchcomp

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

Triggered via pull request February 6, 2024 10:13
@tautschnigtautschnig
synchronize #8171
tautschnig:features/benchcomp
Status Failure
Total duration 20m 21s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
20m 11s
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

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