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.

Sign up for GitHub

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

Jump to bottom

Use custom names for deployment helper service #433

Closed
0xmad opened this issue Oct 31, 2024 · 0 comments · Fixed by #434
Closed

Use custom names for deployment helper service #433

0xmad opened this issue Oct 31, 2024 · 0 comments · Fixed by #434
Assignees
@0xmad
Labels
enhancement New feature or request

Comments

@0xmad
Copy link
Collaborator

0xmad commented Oct 31, 2024

As a coordinator, I'd like to use prove and merge commands inside maci-platform without name conflicts.
@0xmad 0xmad added this to MACI Oct 31, 2024
@0xmad 0xmad self-assigned this Oct 31, 2024
@0xmad 0xmad converted this from a draft issue Oct 31, 2024
@0xmad 0xmad added the enhancement New feature or request label Oct 31, 2024
This was referenced Oct 31, 2024
Merged
Merged
Merged
Closed
@github-project-automation github-project-automation bot moved this from In Progress to Done in MACI Nov 5, 2024
@braveocheretovych braveocheretovych mentioned this issue Nov 22, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@0xmad 0xmad

Labels
enhancement New feature or request
Projects
MACI
Status: Done
Milestone
No milestone
1 participant
@0xmad