Kani Performance Benchmarks

Adopt Rust's source-based code coverage instrumentation (#3119) #564

Sign in to view logs

Triggered via push August 27, 2024 19:19

github-merge-queue[bot]

Status Success

Total duration 56m 12s

Artifacts –

bench.yml

on: push