Kani Performance Benchmarks

Automatic toolchain upgrade improvements (#2722) #85

Sign in to view logs

Triggered via push September 2, 2023 21:12

tautschnig

main

Status Success

Total duration 1h 14m 57s

Artifacts –

bench.yml

on: push