Kani Performance Benchmarks

Enable concrete playback for contract and stubs (#3389) #515

Sign in to view logs

Triggered via push July 31, 2024 18:50

celinval

main

Status Success

Total duration 48m 32s

Artifacts –

bench.yml

on: push