Kani Performance Benchmarks

Automatic toolchain upgrade to nightly-2024-07-31 (#3397) #510

Sign in to view logs

Triggered via push July 31, 2024 05:26

Status Success

Total duration 1h 8m 16s

Artifacts –

bench.yml

on: push