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

Minor version bump #209

Closed
wants to merge 2 commits into from
Closed

Minor version bump #209

wants to merge 2 commits into from

Conversation

odow
Copy link
Contributor

@odow odow commented Oct 21, 2021

Time for a new release? Looks like it's been a while.

@matbesancon
Copy link
Member

do we want to add a release with MOI 0.10 already?

@matbesancon
Copy link
Member

@odow what do you think? Should we release now with MOI 0.10?

@matbesancon
Copy link
Member

Ideally, I'd like to have jump-dev/MINLPTests.jl#34 merged first to be able to test the MINLP part

Project.toml Outdated Show resolved Hide resolved
@matbesancon
Copy link
Member

replacedd by #211

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.

2 participants