Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore(circuits): optimize message to command #1682

Merged
merged 1 commit into from
Jul 19, 2024

Conversation

0xmad
Copy link
Collaborator

@0xmad 0xmad commented Jul 18, 2024

Description

Minor optimization for circuits

Additional Notes

N/A

Related issue(s)

Related to #1614

Confirmation

@0xmad 0xmad added the chore Chore tasks label Jul 18, 2024
@0xmad 0xmad self-assigned this Jul 18, 2024
Copy link

vercel bot commented Jul 18, 2024

The latest updates on your projects. Learn more about Vercel for Git ↗︎

Name Status Preview Updated (UTC)
maci-website ✅ Ready (Inspect) Visit Preview Jul 19, 2024 3:37pm

@0xmad 0xmad enabled auto-merge July 18, 2024 21:57
@0xmad 0xmad disabled auto-merge July 18, 2024 22:28
@0xmad 0xmad marked this pull request as draft July 18, 2024 22:28
@0xmad 0xmad force-pushed the chore/optimize-message-to-command branch from 41d5595 to dce8591 Compare July 19, 2024 15:35
@0xmad 0xmad marked this pull request as ready for review July 19, 2024 16:28
Copy link
Collaborator

@ctrlc03 ctrlc03 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks

@ctrlc03 ctrlc03 merged commit ad04340 into dev Jul 19, 2024
22 checks passed
@ctrlc03 ctrlc03 deleted the chore/optimize-message-to-command branch July 19, 2024 19:37
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
chore Chore tasks
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

2 participants