Skip to content

feat: rename prover CLI start command as proxy and make it default#6428

Merged
jeluard merged 3 commits intounstablefrom jeluard/prover-start-commandFeb 16, 2024

Commits

Commits on Feb 14, 2024

Commits on Feb 15, 2024