Benchmarks

Merge pull request #316 from cvick32/kani-autogen #482

Sign in to view logs

Triggered via push July 22, 2024 01:01

ChristopherRabotin

master

Status Success

Total duration 3m 56s

Artifacts –

benchmarks.yml

on: push

Benchmark duration

Benchmark epoch

Benchmark iai duration

Benchmark iai epoch