Kani Performance Benchmarks

Unify Kani bundle CI jobs #41

Sign in to view logs

Triggered via push October 25, 2023 21:25

celinval

main

Status Cancelled

Total duration 32m 19s

Artifacts –

bench.yml

on: push

Annotations

2 errors

perf-benchcomp

The run was canceled by @celinval.

perf-benchcomp

The operation was canceled.