Kani Performance Benchmarks

Use cfg=kani_host for host crates (#3244) #422

Sign in to view logs

Triggered via push June 10, 2024 21:55

tautschnig

main

Status Success

Total duration 1h 0m 19s

Artifacts –

bench.yml

on: push