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

Enable slither in GA #778

Closed

zajck opened this issue Aug 18, 2023 · 0 comments · Fixed by #816

Member

zajck commented Aug 18, 2023

Slither was temporarily disabled because of #644 (comment)

Enable it back once the fix crytic/slither#2051 is in place.

zajck mentioned this issue

Enable back slither in workflow #816

Merged

zajck closed this as completed in #816

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