Performance Benchmarking

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

Sign in to view logs

Re-run triggered March 20, 2024 06:22

tautschnig

#8171

tautschnig:features/benchcomp

Status Success

Total duration 42m 30s

Artifacts –

performance.yaml

on: pull_request