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

Uuid type #89

Merged
merged 3 commits into from Oct 23, 2017
Merged

Uuid type #89

merged 3 commits into from Oct 23, 2017

Conversation

@samuelcolvin
Copy link
Owner

@samuelcolvin samuelcolvin commented Oct 23, 2017

No description provided.

@codecov
Copy link

@codecov codecov bot commented Oct 23, 2017

Codecov Report

Merging #89 into master will not change coverage.
The diff coverage is 100%.

@@          Coverage Diff          @@
##           master    #89   +/-   ##
=====================================
  Coverage     100%   100%           
=====================================
  Files          11     11           
  Lines         804    813    +9     
  Branches      178    181    +3     
=====================================
+ Hits          804    813    +9

@samuelcolvin samuelcolvin mentioned this pull request Oct 23, 2017
@samuelcolvin samuelcolvin merged commit 5cf23fb into master Oct 23, 2017
5 checks passed
@samuelcolvin samuelcolvin deleted the uuid-type branch Oct 23, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Linked issues

Successfully merging this pull request may close these issues.

None yet

1 participant