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

[docs] simplify conflict documentation #3039

Merged
merged 1 commit into from
Aug 15, 2022
Merged

[docs] simplify conflict documentation #3039

merged 1 commit into from
Aug 15, 2022

Conversation

odow
Copy link
Member

@odow odow commented Aug 15, 2022

Part of #3034

This PR makes it clearer you can use copy_conflict to print the IIS, rather than needing to loop through all the constraints.

@codecov
Copy link

codecov bot commented Aug 15, 2022

Codecov Report

Merging #3039 (680fb81) into master (0d80cb6) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master    #3039   +/-   ##
=======================================
  Coverage   96.13%   96.13%           
=======================================
  Files          32       32           
  Lines        4144     4144           
=======================================
  Hits         3984     3984           
  Misses        160      160           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

@odow odow merged commit 22e1074 into master Aug 15, 2022
@odow odow deleted the odow-patch-1 branch August 15, 2022 21:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Development

Successfully merging this pull request may close these issues.

1 participant