Kani Performance Benchmarks

Automatic toolchain upgrade to nightly-2024-08-03 (#3410) #530

Sign in to view logs

Triggered via push August 3, 2024 05:45

Status Success

Total duration 54m 12s

Artifacts –

bench.yml

on: push