Skip to content
Docker Image CI

ci: also build a linux/arm64 image (#51) #162

Sign in to view logs

ci: also build a linux/arm64 image (#51)

ci: also build a linux/arm64 image (#51) #162

Run time

Learn about OS pricing on GitHub Actions
Job Run time
misc-test
1m 40s
configuration-test (--solver cvc5 ./benchmarks/circomlib-cff5ab6/Dec...
1m 14s
main-test (0)
5m 53s
configuration-test (--solver z3 ./benchmarks/circomlib-cff5ab6/Dec...
1m 46s
main-test (1)
6m 21s
configuration-test (--solver cvc5 --opt-level 0 ./benchmarks/circomlib-cff5ab6/Dec...
1m 16s
main-test (2)
6m 32s
configuration-test (--solver cvc5 --opt-level 2 --patch-circom ./benchmarks/circomlib-cff5ab6/Dec...
1m 41s
main-test (3)
7m 8s
Publish Docker image to DockerHub
1m 13s
34m 44s