fix: CRS not needed for gate_count. Grumpkin not needed for non-goblin.#3872
Merged
charlielye merged 2 commits intomasterfrom Jan 8, 2024
Merged
fix: CRS not needed for gate_count. Grumpkin not needed for non-goblin.#3872charlielye merged 2 commits intomasterfrom
charlielye merged 2 commits intomasterfrom