Skip to content

update NEWS for 0.4 #399

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

Merged
merged 1 commit into from
Jun 23, 2018
Merged

update NEWS for 0.4 #399

merged 1 commit into from
Jun 23, 2018

Conversation

mlubin
Copy link
Member

@mlubin mlubin commented Jun 23, 2018

@blegat @odow @joaquimg let me know if there's a reason to hold off on this release. If we do wait, then we should stick to 0.3 for JuMP-dev.

@blegat
Copy link
Member

blegat commented Jun 23, 2018

No, I may suggest more changes before JuMP-dev (e.g. #397) but they are not breaking so it can be tagged as v0.4.1.
We should definitely tag v0.4 soon if we want solvers to work with v0.4 during the JuMP-dev meetup

@codecov-io
Copy link

codecov-io commented Jun 23, 2018

Codecov Report

Merging #399 into master will increase coverage by 0.01%.
The diff coverage is n/a.

Impacted file tree graph

@@            Coverage Diff             @@
##           master     #399      +/-   ##
==========================================
+ Coverage   96.34%   96.36%   +0.01%     
==========================================
  Files          40       40              
  Lines        5066     5066              
==========================================
+ Hits         4881     4882       +1     
+ Misses        185      184       -1
Impacted Files Coverage Δ
src/Utilities/functions.jl 97.9% <0%> (+0.52%) ⬆️

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 bb80481...4eeda96. Read the comment docs.

@mlubin mlubin merged commit 9738f62 into master Jun 23, 2018
@mlubin mlubin deleted the ml/04 branch June 23, 2018 17:30
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.

3 participants