Skip to content
Kani Performance Benchmarks

Add a workflow to update features/verify-rust-std #59

Sign in to view logs

Add a workflow to update features/verify-rust-std

Add a workflow to update features/verify-rust-std #59

Triggered via push July 25, 2024 21:39
@celinvalcelinval
pushed 3b97847
main
Status Cancelled
Total duration 16s
Artifacts –

bench.yml

on: push
perf-benchcomp
0s
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

1 error
perf-benchcomp
The run was canceled by @celinval.