Skip to content

Origin/toy plugins #4

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
Merged
merged 6 commits into from
Apr 4, 2019
Merged

Origin/toy plugins #4

merged 6 commits into from
Apr 4, 2019

Conversation

wiso
Copy link
Owner

@wiso wiso commented Apr 4, 2019

No description provided.

@wiso wiso self-assigned this Apr 4, 2019
@coveralls
Copy link

coveralls commented Apr 4, 2019 •
edited
Loading

Pull Request Test Coverage Report for Build 76

  • 79 of 87 (90.8%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage decreased (-0.2%) to 89.882%
Changes Missing Coverage Covered Lines Changed/Added Lines %
countingworkspace/utils.py 79 87 90.8%
Totals Coverage Status
Change from base Build 66: -0.2%
Covered Lines: 382
Relevant Lines: 425
💛 - Coveralls

@wiso wiso merged commit 5fdef0b into master Apr 4, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@wiso wiso

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@wiso @coveralls