Skip to content

Cg/circuit builders#922

Merged
suyash67 merged 29 commits intomasterfrom
cg/circuit-builders
Jun 28, 2023
Merged

Cg/circuit builders#922
suyash67 merged 29 commits intomasterfrom
cg/circuit-builders

Conversation

@codygunton
Copy link
Copy Markdown
Contributor

@codygunton codygunton commented Jun 28, 2023

Description

I forgot to squash when I merged #895.

Checklist:

  • I have reviewed my diff in github, line by line.
  • Every change is related to the PR description.
  • I have linked this pull request to the issue(s) that it resolves.
  • There are no unexpected formatting changes, superfluous debug logs, or commented-out code.
  • The branch has been merged or rebased against the head of its merge target.
  • I'm happy for the PR to be merged at the reviewer's next convenience.

@codygunton codygunton requested a review from suyash67 June 28, 2023 02:48
@suyash67 suyash67 merged commit 0c46b72 into master Jun 28, 2023
@suyash67 suyash67 deleted the cg/circuit-builders branch June 28, 2023 03:20
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants