Skip to content
Kani Performance Benchmarks

Address clippy warnings (#2807) #161

Sign in to view logs

Address clippy warnings (#2807)

Address clippy warnings (#2807) #161

Triggered via push October 4, 2023 21:37
@tautschnigtautschnig
pushed fece7ee
main
Status Success
Total duration 1h 57m 52s
Artifacts –

bench.yml

on: push
perf-benchcomp
1h 57m
perf-benchcomp
Fit to window
Zoom out
Zoom in