Kani Performance Benchmarks

Do not run benchcomp in every PR #1

Sign in to view logs

Triggered via pull request July 14, 2023 20:37

labeled #2604

celinval:issue-xxxx-bench-ci

Status Success

Total duration 2h 17m 14s

Artifacts –

bench.yml

on: pull_request