Performance Benchmarking

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

Sign in to view logs

Triggered via pull request January 25, 2024 13:58

tautschnig

opened #8171

tautschnig:features/benchcomp

Status Failure

Total duration 40m 29s

Artifacts –

performance.yaml

on: pull_request

Annotations

1 error

perf-benchcomp

Process completed with exit code 1.