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

[WIP] Removed some unused attributes from optional. #520

Merged
merged 4 commits into from
Jul 18, 2019

Conversation

gabrieldemarmiesse
Copy link
Collaborator

@gabrieldemarmiesse gabrieldemarmiesse commented Jul 18, 2019

The variables were unused in the project.

@gabrieldemarmiesse gabrieldemarmiesse changed the title Removed some unused attributes from optional. [WIP] Removed some unused attributes from optional. Jul 18, 2019
@gabrieldemarmiesse

This comment has been minimized.

gabrieldemarmiesse added 3 commits July 18, 2019 16:23
It's not needed on the user side,
so let's not add complexity there.
@coveralls
Copy link

Coverage Status

Coverage decreased (-0.008%) to 85.097% when pulling c2c0aa3 on gabrieldemarmiesse:remove_some_optional into c59e9db on IDSIA:master.

@gabrieldemarmiesse
Copy link
Collaborator Author

It's strange to get a failure from coveralls in this kind of cases. It seems false positive are quite frequent.

@Qwlouse
Copy link
Collaborator

Qwlouse commented Jul 18, 2019

@gabrieldemarmiesse Agreed, this is annoying. I found a threshold setting and changed it from 0% decrease to 1% decrease. Hope that will fix this.

Thanks for your tidying up efforts, BTW. Much appreciated!

@Qwlouse Qwlouse merged commit 37e6fc3 into IDSIA:master Jul 18, 2019
@gabrieldemarmiesse gabrieldemarmiesse deleted the remove_some_optional branch July 18, 2019 19:57
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.

3 participants