Skip to content
Docker Image CI

feat: add a new exit code for unknown #176

Sign in to view logs

feat: add a new exit code for unknown

feat: add a new exit code for unknown #176

Run time

Learn about OS pricing on GitHub Actions
Job Run time
misc-test
1m 22s
wtns-test
1m 9s
main-test (0)
5m 33s
configuration-test (--solver cvc5 ./benchmarks/circomlib-cff5ab6/Dec...
1m 42s
main-test (1)
6m 24s
configuration-test (--solver z3 ./benchmarks/circomlib-cff5ab6/Dec...
1m 30s
main-test (2)
6m 39s
configuration-test (--solver cvc5 --opt-level 0 ./benchmarks/circomlib-cff5ab6/Dec...
1m 37s
main-test (3)
6m 58s
configuration-test (--solver cvc5 --opt-level 2 --patch-circom ./benchmarks/circomlib-cff5ab6/Dec...
1m 15s
Publish Docker image to DockerHub
0s
34m 9s