Skip to content

Allow specifying number of benchmarks in eval scripts #356

Allow specifying number of benchmarks in eval scripts

Allow specifying number of benchmarks in eval scripts #356

Triggered via pull request November 21, 2024 08:55
Status Success
Total duration 21m 52s
Artifacts

test-z3.yml

on: pull_request
Fit to window
Zoom out
Zoom in