Kani Performance Benchmarks

Automatic toolchain upgrade to nightly-2024-07-30 (#3395) #509

Sign in to view logs

Triggered via push July 30, 2024 10:54

Status Success

Total duration 1h 9m 9s

Artifacts –

bench.yml

on: push