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

Update slither config #828

Merged

zajck merged 2 commits into main from slither-config

Nov 30, 2023

Member

zajck commented Nov 30, 2023

Change slither config to:

Exclude contract examples, since they are not part of the protocol
Ignore solc-version detector, since we often use a newer version than recommended by slither


          exclude examples and solc-version detector

783755c

zajck changed the title ~~exclude examples and solc-version detector~~ Update slither config

coveralls commented Nov 30, 2023 •

edited

Loading

coverage: 98.639%. remained the same
when pulling 2f97c8d on slither-config
into 25fa3cf on main.


          Merge branch 'main' into slither-config

2f97c8d

zajck self-assigned this

thecryptofruit approved these changes

View reviewed changes

albertfolch-redeemeum approved these changes

View reviewed changes

zajck merged commit fe19871 into main

12 checks passed

zajck deleted the slither-config branch

November 30, 2023 11:42

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

Labels

None yet