Kani Performance Benchmarks

Fix ICEs due to mismatched arguments (#2994) #293

Sign in to view logs

Triggered via push February 6, 2024 19:30

Status Failure

Total duration 1h 3m 16s

Artifacts –

bench.yml

on: push

Annotations

1 error

perf-benchcomp

Process completed with exit code 1.