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

Domains #45

Closed
tiagofneto opened this issue Jan 8, 2024 · 2 comments · Fixed by #48
Closed

Domains #45

tiagofneto opened this issue Jan 8, 2024 · 2 comments · Fixed by #48
Assignees
@neotheprogramist
Labels
enhancement New feature or request STARK

Comments

@tiagofneto
Copy link
Contributor

No description provided.

@tiagofneto tiagofneto converted this from a draft issue Jan 8, 2024
@tiagofneto tiagofneto added enhancement New feature or request STARK labels Jan 8, 2024
@neotheprogramist neotheprogramist self-assigned this Jan 8, 2024
@neotheprogramist neotheprogramist moved this from Todo to In Progress in Cairo Verifier Jan 8, 2024
@neotheprogramist neotheprogramist linked a pull request Jan 8, 2024 that will close this issue
Domains #48
Merged
@neotheprogramist neotheprogramist moved this from In Progress to Done in Cairo Verifier Jan 15, 2024
@Okm165
Copy link
Collaborator

Okm165 commented Jan 16, 2024

@neotheprogramist is this issue done?

@neotheprogramist
Copy link
Contributor

Closed by #48

@Okm165 Okm165 moved this from Done to Done&Tested in Cairo Verifier Jan 24, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@neotheprogramist neotheprogramist

Labels
enhancement New feature or request STARK
Projects
Cairo Verifier
Status: Done&Tested
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Domains HerodotusDev/integrity
3 participants
@tiagofneto @Okm165 @neotheprogramist