Skip to content

Conversation

@odow
Copy link
Member

@odow odow commented Dec 30, 2018

We retain copy_names = true for explicitness.

Closes #1715

odow added 2 commits December 30, 2018 11:16
We retain `copy_names = true` for explicitness.
@codecov
Copy link

codecov bot commented Dec 30, 2018

Codecov Report

Merging #1717 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1717   +/-   ##
=======================================
  Coverage   68.69%   68.69%           
=======================================
  Files          30       30           
  Lines        3891     3891           
=======================================
  Hits         2673     2673           
  Misses       1218     1218
Impacted Files Coverage Δ
src/JuMP.jl 70.7% <ø> (ø) ⬆️
src/copy.jl 77.77% <ø> (ø) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update cd8dbe5...d6e0900. Read the comment docs.

1 similar comment
@codecov
Copy link

codecov bot commented Dec 30, 2018

Codecov Report

Merging #1717 into master will not change coverage.
The diff coverage is n/a.

Impacted file tree graph

@@           Coverage Diff           @@
##           master    #1717   +/-   ##
=======================================
  Coverage   68.69%   68.69%           
=======================================
  Files          30       30           
  Lines        3891     3891           
=======================================
  Hits         2673     2673           
  Misses       1218     1218
Impacted Files Coverage Δ
src/JuMP.jl 70.7% <ø> (ø) ⬆️
src/copy.jl 77.77% <ø> (ø) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update cd8dbe5...d6e0900. Read the comment docs.

@odow odow merged commit ed2f732 into master Dec 30, 2018
@odow odow deleted the odow-patch-1 branch December 30, 2018 19:02
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants