Skip to content
Test Z3

Allow specifying number of benchmarks in eval scripts #359

Sign in to view logs

Allow specifying number of benchmarks in eval scripts

Allow specifying number of benchmarks in eval scripts #359

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
18m 15s
18m 15s