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

MOI.ResultCount bug fix #165

Merged
merged 1 commit into from
Mar 30, 2021
Merged

MOI.ResultCount bug fix #165

merged 1 commit into from
Mar 30, 2021

Conversation

harshangrjn
Copy link
Collaborator

@codecov
Copy link

codecov bot commented Mar 30, 2021

Codecov Report

Merging #165 (692461a) into master (383bdbc) will decrease coverage by 0.04%.
The diff coverage is 0.00%.

❗ Current head 692461a differs from pull request most recent head d98ec5c. Consider uploading reports for the commit d98ec5c to get more accurate results
Impacted file tree graph

@@            Coverage Diff             @@
##           master     #165      +/-   ##
==========================================
- Coverage   78.42%   78.37%   -0.05%     
==========================================
  Files          16       16              
  Lines        3254     3256       +2     
==========================================
  Hits         2552     2552              
- Misses        702      704       +2     
Impacted Files Coverage Δ
src/solver.jl 92.83% <0.00%> (-0.71%) ⬇️

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 383bdbc...d98ec5c. Read the comment docs.

@harshangrjn harshangrjn merged commit 72d321b into master Mar 30, 2021
@harshangrjn harshangrjn deleted the MOI.ResultCount_bug_fix branch March 30, 2021 21:56
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.

1 participant