This repository was archived by the owner on Apr 18, 2025. It is now read-only.
This repository was archived by the owner on Apr 18, 2025. It is now read-only.
ci: add real proving & verification of super circuit using halo2-gpu #654
Description
Describe the feature you would like
Current CI only includes mock proving of circuit, but sometimes even mock proving can pass, real proving & verification can fail. (problems like fixed column not really fixed... etc). So real proving is useful. If real proving needs more than 15 or 20 minutes, we may not need to run it each CI, but nightly, or using github action bot (comment "\b run real-prove") in PR comment
Additional context
No response