Skip to content

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

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

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

Triggered via pull request January 8, 2024 14:01
Status Success
Total duration 11s
Artifacts

pull-request.yml

on: pull_request
Validate PR title is Conventional Commit
2s
Validate PR title is Conventional Commit
Fit to window
Zoom out
Zoom in