Skip to content
Kani Performance Benchmarks

Run benchcomp if PR is labeled 'Z-BenchCI' #38

Sign in to view logs

Run benchcomp if PR is labeled 'Z-BenchCI'

Run benchcomp if PR is labeled 'Z-BenchCI' #38

Triggered via push October 25, 2023 00:10
@celinvalcelinval
pushed a538935
main
Status Cancelled
Total duration 4m 56s
Artifacts –

bench.yml

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