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

Add unwrap_used lint #30

Open
lauchaves opened this issue Aug 19, 2024 · 7 comments
Open

Add unwrap_used lint #30

lauchaves opened this issue Aug 19, 2024 · 7 comments
Assignees
@devcollinss

Comments

@lauchaves
Copy link
Contributor

lauchaves commented Aug 19, 2024 •
edited
Loading

Related to #3 Add new lints
This one was already discussed on telegram.
@lauchaves
Copy link
Contributor Author

Hey! I'll be adding this one!

@0xLucqs 0xLucqs assigned lauchaves and unassigned lauchaves Aug 19, 2024
@devcollinss
Copy link

Can I work on this please @lauchaves , please I’d love to be given the opportunity to contribute here.

@onlydustapp OnlyDustApp
Copy link

onlydustapp bot commented Aug 29, 2024

Hey @devcollinss!
Thanks for showing interest.
We've created an application for you to contribute to Cairo lint.
Go check it out on OnlyDust!

@0xLucqs
Copy link
Collaborator

0xLucqs commented Sep 17, 2024

hey @devcollinss stil interested (completely missed this message sorry)

@devcollinss
Copy link

devcollinss commented Sep 17, 2024 •
edited
Loading

Yes I am interested @0xLucqs

@0xLucqs
Copy link
Collaborator

0xLucqs commented Sep 17, 2024

ok let's go!

@devcollinss
Copy link

devcollinss commented Sep 17, 2024 •
edited
Loading

ok let's go!

You are yet to assign the task to me. @0xLucqs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@devcollinss devcollinss

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@lauchaves @0xLucqs @devcollinss