Kani Performance Benchmarks

Do not run benchcomp in every PR #9

Sign in to view logs

Triggered via pull request July 14, 2023 20:04

celinval

labeled #5

issue-xxxx-bench-ci

Status Success

Total duration 11s

Artifacts –

bench.yml

on: pull_request