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

Remove (enrichment) option #312

Merged
merged 18 commits into from
Feb 5, 2019
Merged

Conversation

yuri-sergiichuk
Copy link
Contributor

@yuri-sergiichuk yuri-sergiichuk commented Feb 4, 2019

This PR closes #308.

(enrichment) option is not available anymore. The contract of (enrichment_for) and (by) options are refined and made stricter.

Further changes to the enrichment functionality should be done in the following PRs. (e.g., see #310 and #311).

@yuri-sergiichuk yuri-sergiichuk self-assigned this Feb 4, 2019
@yuri-sergiichuk yuri-sergiichuk added /Compiler WIP This work is still in progress. labels Feb 4, 2019
@codecov
Copy link

codecov bot commented Feb 4, 2019

Codecov Report

Merging #312 into master will increase coverage by 0.58%.
The diff coverage is 52.63%.

@@             Coverage Diff              @@
##             master     #312      +/-   ##
============================================
+ Coverage     73.54%   74.12%   +0.58%     
- Complexity     2208     2221      +13     
============================================
  Files           353      352       -1     
  Lines          9434     9419      -15     
  Branches        595      592       -3     
============================================
+ Hits           6938     6982      +44     
+ Misses         2343     2284      -59     
  Partials        153      153

@yuri-sergiichuk yuri-sergiichuk removed the WIP This work is still in progress. label Feb 4, 2019
Copy link
Contributor

@alexander-yevsyukov alexander-yevsyukov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please see my comments.

base/src/main/proto/spine/options.proto Outdated Show resolved Hide resolved
base/src/main/proto/spine/options.proto Outdated Show resolved Hide resolved
base/src/main/proto/spine/options.proto Show resolved Hide resolved
@yuri-sergiichuk
Copy link
Contributor Author

@alexander-yevsyukov PTAL again.

Copy link
Contributor

@alexander-yevsyukov alexander-yevsyukov left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@yuri-sergiichuk yuri-sergiichuk deleted the remove-enrichment-option branch February 5, 2019 10:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Drop support of (enrichment) option
2 participants