Skip to content

fix: CRS not needed for gate_count. Grumpkin not needed for non-goblin.#3872

Merged
charlielye merged 2 commits into
masterfrom
cl/gate_count_no_crs
Jan 8, 2024
Merged

fix: CRS not needed for gate_count. Grumpkin not needed for non-goblin.#3872
charlielye merged 2 commits into
masterfrom
cl/gate_count_no_crs

Merge branch 'master' into cl/gate_count_no_crs

f2390f3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs