This repository was archived by the owner on Feb 17, 2025. It is now read-only.

Update prover version 2.1.2 in docker-compose#2464

Merged

agnusmor merged 1 commit intorelease/v0.2.5from

update-prover-version

Aug 24, 2023

Commits on Aug 24, 2023

updater prover version 2.1.2 in docker-compose
agnusmor
committed