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

Cleanup requirements and run full setup in lint CI job #1230

Merged
merged 1 commit into from
Oct 6, 2022

Conversation

gsingh93
Copy link
Member

@gsingh93 gsingh93 commented Oct 6, 2022

Moving some requirements from the main requirements.txt to dev-requirements.txt, adding some new requirements to dev-requirements.txt, and do the full install in ./lint.sh to make sure all the dependencies are in dev-requirements.txt to lint the code.

@codecov-commenter
Copy link

Codecov Report

Merging #1230 (006421c) into dev (0237c1d) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##              dev    #1230   +/-   ##
=======================================
  Coverage   53.72%   53.72%           
=======================================
  Files         179      179           
  Lines       20131    20131           
  Branches     1836     1836           
=======================================
  Hits        10815    10815           
  Misses       8901     8901           
  Partials      415      415           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@gsingh93 gsingh93 merged commit 0d73e9d into pwndbg:dev Oct 6, 2022
@gsingh93 gsingh93 deleted the lint-cleanup branch October 6, 2022 01:31
gsingh93 added a commit to gsingh93/pwndbg that referenced this pull request Oct 6, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants