Skip to content
Performance Benchmarking

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

Sign in to view logs

Run performance comparison in CI using Kani's Benchcomp

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

Triggered via pull request January 25, 2024 15:00
@tautschnigtautschnig
synchronize #8171
tautschnig:features/benchcomp
Status Failure
Total duration 4m 11s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
4m 1s
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

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