This repository has been archived by the owner on May 11, 2024. It is now read-only.

fix(prover): fix some typo (#374) #647

Job	Run time
Build and push docker image	16m 35s
	16m 35s

Provide feedback