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.

Sign up for GitHub

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

Jump to bottom

Introduce Conflict Strategy that defines the behavior when a constraint name conflicts #331

Merged

making merged 2 commits into develop from gh-253

May 15, 2023

Owner

making commented May 15, 2023

when adding a constraint.

fixes gh-253


          Introduce Conflict Strategy that defines the behavior when a constrai…

77d0d33

…nt name conflicts

when adding a constraint.

fixes gh-253

making added this to the 0.13.0 milestone


          Fix format

making merged commit 4602c98 into develop

5 checks passed

making deleted the gh-253 branch

May 15, 2023 02:37

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment