Kani Performance Benchmarks

cargo update and fix macos CI (#3067) #321

Sign in to view logs

Triggered via push March 11, 2024 18:58

Status Success

Total duration 1h 4m 13s

Artifacts –

bench.yml

on: push