Skip to content
Performance Benchmarking

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

Sign in to view logs

Run performance comparison in CI using Kani's Benchcomp

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

Triggered via pull request January 29, 2024 15:20
@tautschnigtautschnig
synchronize #8171
tautschnig:features/benchcomp
Status Failure
Total duration 2h 47m 38s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
2h 47m
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

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