Skip to content
Docker Image CI

ci: only build Docker in the private repo #190

Sign in to view logs

ci: only build Docker in the private repo

ci: only build Docker in the private repo #190

Run time

Learn about OS pricing on GitHub Actions
Job Run time
misc-test
1m 18s
configuration-test (--solver cvc5 ./benchmarks/circomlib-cff5ab6/Dec...
1m 28s
main-test (0)
6m 0s
wtns-test
1m 31s
configuration-test (--solver z3 ./benchmarks/circomlib-cff5ab6/Dec...
1m 14s
main-test (1)
6m 32s
configuration-test (--solver cvc5 --opt-level 0 ./benchmarks/circomlib-cff5ab6/Dec...
1m 35s
main-test (2)
6m 52s
configuration-test (--solver cvc5 --opt-level 2 --patch-circom ./benchmarks/circomlib-cff5ab6/Dec...
1m 35s
main-test (3)
7m 43s
Publish Docker image to DockerHub
0s
35m 48s