Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

[requires.io] dependency update on master branch #122

Merged
merged 1 commit into from
Oct 14, 2019
Merged

Conversation

nil0x42
Copy link
Owner

@nil0x42 nil0x42 commented Sep 20, 2019

No description provided.

@ghost
Copy link

ghost commented Sep 20, 2019

DeepCode Report (#b81cd0)

DeepCode analyzed this pull request.
There are no new issues.

@codecov
Copy link

codecov bot commented Sep 20, 2019

Codecov Report

Merging #122 into master will decrease coverage by 0.34%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##           master     #122      +/-   ##
==========================================
- Coverage   68.85%   68.51%   -0.35%     
==========================================
  Files          70       70              
  Lines        3320     3284      -36     
  Branches      630      629       -1     
==========================================
- Hits         2286     2250      -36     
  Misses        809      809              
  Partials      225      225

@nil0x42 nil0x42 merged commit 101be95 into master Oct 14, 2019
@nil0x42 nil0x42 deleted the requires-io-master branch October 14, 2019 08:48
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants