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.

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

slither config, ci #1213

Merged
merged 2 commits into from
Oct 9, 2023
Merged

slither config, ci #1213

merged 2 commits into from
Oct 9, 2023

Conversation

mvanmeerbeck
Copy link
Contributor

@mvanmeerbeck mvanmeerbeck commented Oct 6, 2023

Description

Slither config & ci
This is only the configuration of slither, not the resolution of the issues.
I have only activated the "human summary" so that the CI is not failing.

Dev

Any explanation for the devs that will review your implementation/code.

Qa

Any guidance or important information for the team that will be testing your solution.

Note: you can add any additional information you think is important for giving context to your PR.

Checklist and Markdown

  • Remember you could add any type of formatting to enhance your PR.
  • Like this checklist
  • And with this markdown format

@mvanmeerbeck mvanmeerbeck requested a review from a team as a code owner October 6, 2023 13:43
@mvanmeerbeck mvanmeerbeck requested a review from adjisb October 6, 2023 15:53
@mvanmeerbeck mvanmeerbeck merged commit 77903f7 into master Oct 9, 2023
6 checks passed
@mvanmeerbeck mvanmeerbeck deleted the feat/slither-config branch October 9, 2023 07:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants