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

chore: add local slither script #34

Merged
merged 4 commits into from
Aug 7, 2024
Merged

chore: add local slither script #34

merged 4 commits into from
Aug 7, 2024

Conversation

sripwoud
Copy link
Member

Fix #10

Add local yarn slither script.

@sripwoud sripwoud added dx 🔧 Developer experience devops 🔧 Operations management and dev tools labels Jul 18, 2024
@sripwoud sripwoud self-assigned this Jul 18, 2024
@sripwoud sripwoud requested a review from cedoor July 18, 2024 10:17
@sripwoud sripwoud enabled auto-merge (squash) July 18, 2024 10:48
cedoor
cedoor approved these changes Aug 7, 2024
View reviewed changes
Copy link
Member

@cedoor cedoor left a comment

Choose a reason for hiding this comment

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

utACK! Scripts are straightforward, I don't think I need to test them.

We should add more doc about these commands in the README files tho (?).

@sripwoud sripwoud force-pushed the chore/slither branch 2 times, most recently from 8a9a8d5 to adc30e7 Compare August 7, 2024 14:07
@sripwoud
Copy link
Member Author

sripwoud commented Aug 7, 2024

We should add more doc about these commands in the README files tho (?).

Done adc30e7

@cedoor cedoor disabled auto-merge August 7, 2024 14:12
@sripwoud sripwoud merged commit 8bd1e14 into main Aug 7, 2024
16 checks passed
@sripwoud sripwoud deleted the chore/slither branch August 7, 2024 20:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cedoor cedoor cedoor approved these changes

@vplasencia vplasencia Awaiting requested review from vplasencia vplasencia is a code owner

@LCamel LCamel Awaiting requested review from LCamel LCamel is a code owner

@chancehudson chancehudson Awaiting requested review from chancehudson

@0xjei 0xjei Awaiting requested review from 0xjei 0xjei is a code owner

Assignees

@sripwoud sripwoud

Labels
devops 🔧 Operations management and dev tools dx 🔧 Developer experience
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

dx: support slither locally
2 participants
@sripwoud @cedoor