Kani Performance Benchmarks

Automatic toolchain upgrade to nightly-2024-07-16 (#3346) #481

Sign in to view logs

Triggered via push July 17, 2024 10:33

tautschnig

main

Status Success

Total duration 57m 10s

Artifacts –

bench.yml

on: push