crytic / crytic/slither

Add mypy to the CI

Open
#622 0 comments 0 reactions 0 assignees View on GitHub
good first issue help wanted
Dominant language
Python
Stars
6.4k
Forks
1.1k
PR merge metrics
No merged PRs in 30d

Description

We probably should look to integrate it directly to github super linter

Contributor guide

Open the contributing guide

Assessment

This issue has not been assessed yet.

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.