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

chore(prover): replace emoji in log message (#351) #614

Job	Run time
Build and push docker image	17m 22s
	17m 22s

Provide feedback