Performance Benchmarking

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

Sign in to view logs

Re-run triggered March 20, 2024 17:08

tautschnig

#8171

tautschnig:features/benchcomp

Status Success

Total duration 46m 4s

Artifacts –

performance.yaml

on: pull_request