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

Fix Generality of sum and prod #261

Merged
merged 6 commits into from
Apr 16, 2022
Merged

Fix Generality of sum and prod #261

merged 6 commits into from
Apr 16, 2022

Conversation

pulsipher
Copy link
Collaborator

Closes #260.

@FedeClaudi, I think this should fix your problems. Can you please check it with your use case. You can checkout this branch via:

julia> ]

pkg> add InfiniteOpt#prod_patch

If it works, then I will merge this and release a new version of InfiniteOpt.

@pulsipher pulsipher added the bug Something isn't working label Apr 15, 2022
@codecov
Copy link

codecov bot commented Apr 15, 2022

Codecov Report

Merging #261 (3b373c4) into master (8b1a554) will decrease coverage by 0.04%.
The diff coverage is 86.95%.

@@            Coverage Diff             @@
##           master     #261      +/-   ##
==========================================
- Coverage   99.81%   99.77%   -0.05%     
==========================================
  Files          33       33              
  Lines        7073     7082       +9     
==========================================
+ Hits         7060     7066       +6     
- Misses         13       16       +3     
Impacted Files Coverage Δ
src/nlp.jl 99.43% <86.95%> (-0.57%) ⬇️

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@pulsipher
Copy link
Collaborator Author

pulsipher commented Apr 15, 2022

This works, but it is getting erroneous coverage misses and I am not sure why two of the links in the docs are getting 403 errors (this has nothing to do with this pull request).

@FedeClaudi
Copy link

It works, thank you for addressing the problem so quickly!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Conflict with KernelDensity
2 participants