Skip to content
Kani Performance Benchmarks

Update crates documentation with info. on #[safety_constraint(...)]… #528

Sign in to view logs

Update crates documentation with info. on #[safety_constraint(...)]…

Update crates documentation with info. on #[safety_constraint(...)]… #528

Triggered via push August 2, 2024 20:39
@tautschnigtautschnig
pushed b337081
main
Status Success
Total duration 55m 1s
Artifacts –

bench.yml

on: push
perf-benchcomp
54m 47s
perf-benchcomp
Fit to window
Zoom out
Zoom in