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

Do not use mutability of VariableInfo #64

Merged

blegat merged 1 commit into master from bl/unmutablevarinfo

Oct 28, 2018

Collaborator

blegat commented Oct 28, 2018

It is turned to unmutable in jump-dev/JuMP.jl#1569


          Do not use mutability of VariableInfo

9e2858f

coveralls commented Oct 28, 2018

Coverage decreased (-4.5%) to 63.38% when pulling 9e2858f on bl/unmutablevarinfo into 66ebc18 on master.

blegat merged commit 7b711ae into master

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet