Update cairo-platinum
to cairo-platinum-prover
in Makefile (#238)
#71
Job | Run time |
---|---|
2m 55s | |
8s | |
3m 3s |
cairo-platinum
to cairo-platinum-prover
in Makefile (#238)
#71
Job | Run time |
---|---|
2m 55s | |
8s | |
3m 3s |