Skip to content
Test Z3

Allow specifying number of benchmarks in eval scripts #357

Sign in to view logs

Allow specifying number of benchmarks in eval scripts

Allow specifying number of benchmarks in eval scripts #357

Run time

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