Skip to content
Performance Benchmarking

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

Sign in to view logs

Run performance comparison in CI using Kani's Benchcomp

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

Triggered via pull request February 6, 2024 12:38
@tautschnigtautschnig
synchronize #8171
tautschnig:features/benchcomp
Status Success
Total duration 30m 27s
Artifacts –

performance.yaml

on: pull_request
perf-benchcomp
30m 18s
perf-benchcomp
Fit to window
Zoom out
Zoom in