Skip to content

Allow specifying number of benchmarks in eval scripts #359

Allow specifying number of benchmarks in eval scripts

Allow specifying number of benchmarks in eval scripts #359

Triggered via pull request November 22, 2024 01:23
@filipeomfilipeom
synchronize #252
eval-sample
Status Success
Total duration 18m 24s
Artifacts

test-z3.yml

on: pull_request
Fit to window
Zoom out
Zoom in