Skip to content
Kani Performance Benchmarks

Add a new workflow to check std verification #54

Sign in to view logs

Add a new workflow to check std verification

Add a new workflow to check std verification #54

Triggered via push July 25, 2024 20:14
@celinvalcelinval
pushed d61e847
main
Status Cancelled
Total duration 21m 8s
Artifacts –

bench.yml

on: push
perf-benchcomp
20m 57s
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.