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

Example: how to list conflicting constraints #2605

Merged
merged 1 commit into from
May 20, 2021

Conversation

jd-foster
Copy link
Collaborator

This adds an example to the notes on how to get all conflicting constraints in an arbitrary way from a model.

@codecov
Copy link

codecov bot commented May 19, 2021

Codecov Report

Merging #2605 (a96f407) into master (1abc179) will not change coverage.
The diff coverage is n/a.

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

@@           Coverage Diff           @@
##           master    #2605   +/-   ##
=======================================
  Coverage   93.47%   93.47%           
=======================================
  Files          44       44           
  Lines        5547     5547           
=======================================
  Hits         5185     5185           
  Misses        362      362           

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 1abc179...93f4821. Read the comment docs.

@odow
Copy link
Member

odow commented May 19, 2021

@blegat did something change in the last couple of days???
https://github.com/jump-dev/JuMP.jl/pull/2605/checks?check_run_id=2624301638#step:5:622

@jd-foster the documentation failure doesn't look like it was caused by this PR.

@odow
Copy link
Member

odow commented May 19, 2021

Ah, it was this: JuliaLang/Compat.jl#729

Update docs/src/manual/solutions.md

Co-authored-by: Oscar Dowson <odow@users.noreply.github.com>
@jd-foster
Copy link
Collaborator Author

I was messing with git commit messages; looks like a force-push updated this branch, and now requires re-doing actions

@odow
Copy link
Member

odow commented May 20, 2021

No problem. In future there's also no need to squash commits. I can do that from the web interface when merging :)

@jd-foster
Copy link
Collaborator Author

Ah, thanks. Good to know you can do it on your side in the future.

@odow odow merged commit c27e4b9 into jump-dev:master May 20, 2021
@jd-foster jd-foster deleted the jdf/iis-note1 branch May 21, 2021 01:44
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.

2 participants