Skip to content

Allow specifying number of benchmarks in eval scripts #360

Allow specifying number of benchmarks in eval scripts

Allow specifying number of benchmarks in eval scripts #360

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

test-z3.yml

on: pull_request
Fit to window
Zoom out
Zoom in