This repository has been archived by the owner on Jul 5, 2024. It is now read-only.
chores: code cosmetics and more comment #170
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # TODO: We plan to bring this Github action back when merge to main | |
| # name: Prover Bench on halo2 PR |