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

Create Workspace interface and make LocalWorkspace private #226

Merged
merged 1 commit into from
Oct 3, 2016

Conversation

jcscottiii
Copy link
Member

@jcscottiii jcscottiii commented Oct 3, 2016

Builds on #225
This patch also moves verifications to common from lib/result

Closes #202

This patch also moves verifications to common from lib/result
@jcscottiii jcscottiii changed the title Create Workspace and make LocalWorkspace private Create Workspace interface and make LocalWorkspace private Oct 3, 2016
@codecov-io
Copy link

Current coverage is 90.21% (diff: 81.48%)

Merging #226 into cleanup will decrease coverage by 1.90%

@@            cleanup       #226   diff @@
==========================================
  Files            30         31     +1   
  Lines           978       1002    +24   
  Methods           0          0          
  Messages          0          0          
  Branches          0          0          
==========================================
+ Hits            901        904     +3   
- Misses           63         80    +17   
- Partials         14         18     +4   

Powered by Codecov. Last update 5a1890f...506cd61

@afeld afeld changed the base branch from cleanup to master October 3, 2016 21:45
@afeld afeld merged commit 40b7371 into master Oct 3, 2016
@afeld afeld deleted the add-workspace branch October 3, 2016 21:49
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.

None yet

3 participants