Skip to content
Test Z3

Allow specifying number of benchmarks in eval scripts #356

Sign in to view logs

Allow specifying number of benchmarks in eval scripts

Allow specifying number of benchmarks in eval scripts #356

Run time

Learn about OS pricing on GitHub Actions
Job Run time
test-z3
21m 43s
21m 43s