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

Update argmin dependency to version v0.6.0 #3

Merged
merged 1 commit into from
Aug 15, 2022

Conversation

stefan-k
Copy link
Contributor

This commit updates argmin from version 0.4 to v0.6.0-rc.2. The dependency on serde is optional in v0.6, and can be turned off by disabling the default features. Therefore it is not necessary anymore to implement Serialize and Deserialize for the problem.

Feel free to close this PR if you are not interested in updating argmin. If you are interested in updating, but you don't want to use a release candidate, then you can just leave this open and I'll make the necessary changes once 0.6 is out.

@xemwebe
Copy link
Owner

xemwebe commented Aug 5, 2022

When do you expect to move to version v0.6.0? i would indeed prefer to use no rc dependencies. I need to update some other dependencies, too, once I have completed some other extensions I am currently working on.

@stefan-k
Copy link
Contributor Author

stefan-k commented Aug 5, 2022

Unless something unexpected happens, I plan to release 0.6.0 during the course of next week.

This commit updates argmin from version 0.4 to v0.6.0-rc.2.
The dependency on serde is optional in v0.6, and can be turned off by
disabling the default features. Therefore it is not necessary anymore to
implement `Serialize` and `Deserialize` for the problem.
@stefan-k stefan-k changed the title Update argmin dependency to version v0.6.0-rc.2 Update argmin dependency to version v0.6.0 Aug 9, 2022
@stefan-k
Copy link
Contributor Author

stefan-k commented Aug 9, 2022

Release 0.6.0 is out and I've updated the PR.

@xemwebe xemwebe merged commit 0021dcf into xemwebe:master Aug 15, 2022
@stefan-k stefan-k deleted the update_argmin_v0.6.0 branch August 16, 2022 05:46
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