ci: only run amd64 for now #179

Job	Run time
main-test (0)	5m 40s
main-test (0)	5m 25s
misc-test	1m 21s
misc-test	1m 23s
configuration-test (--solver cvc5 ./benchmarks/circomlib-cff5ab6/Dec...	1m 35s
configuration-test (--solver cvc5 ./benchmarks/circomlib-cff5ab6/Dec...	1m 16s
main-test (1)	6m 2s
main-test (1)	6m 4s
configuration-test (--solver z3 ./benchmarks/circomlib-cff5ab6/Dec...	1m 12s
configuration-test (--solver z3 ./benchmarks/circomlib-cff5ab6/Dec...	1m 21s
wtns-test	1m 6s
wtns-test	1m 24s
configuration-test (--solver cvc5 --opt-level 0 ./benchmarks/circomlib-cff5ab6/Dec...	1m 15s
configuration-test (--solver cvc5 --opt-level 0 ./benchmarks/circomlib-cff5ab6/Dec...	1m 15s
main-test (2)	5m 55s
main-test (2)	6m 0s
main-test (3)	6m 51s
main-test (3)	7m 36s
configuration-test (--solver cvc5 --opt-level 2 --patch-circom ./benchmarks/circomlib-cff5ab6/Dec...	1m 19s
configuration-test (--solver cvc5 --opt-level 2 --patch-circom ./benchmarks/circomlib-cff5ab6/Dec...	1m 19s
Publish Docker image to DockerHub	1m 24s
Publish Docker image to DockerHub	1m 15s
	1h 7m 58s

Provide feedback