Skip to content
Kani Performance Benchmarks

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

Sign in to view logs

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

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

Triggered via push July 25, 2024 21:19
@celinvalcelinval
pushed 41972ac
main
Status Cancelled
Total duration 9m 5s
Artifacts –

bench.yml

on: push
perf-benchcomp
8m 58s
perf-benchcomp
Fit to window
Zoom out
Zoom in

Annotations

2 errors
perf-benchcomp
The run was canceled by @celinval.
perf-benchcomp
The operation was canceled.