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

make relative range more precise #1070

Merged
merged 5 commits into from
Jul 4, 2024
Merged

Conversation

MartinBelthle
Copy link
Collaborator

@MartinBelthle MartinBelthle commented Jun 28, 2024

Please check if the PR fulfills these requirements

  • The commit message follows our guidelines
  • Tests for the changes have been added (for bug fixes / features)
  • Docs have been added / updated (for bug fixes / features)

Does this PR introduce a breaking change or deprecate an API?

  • Yes
  • No

Does this PR already have an issue describing the problem?
#1020

Other information:

Every sensitive cucumber test passed with this branch.

@MartinBelthle MartinBelthle self-assigned this Jun 28, 2024
@MartinBelthle MartinBelthle linked an issue Jun 28, 2024 that may be closed by this pull request
@MartinBelthle MartinBelthle force-pushed the make-relative-range-more-precise branch from 19f2653 to 0c42440 Compare June 28, 2024 13:37
@pet-mit pet-mit marked this pull request as draft June 28, 2024 15:31
@MartinBelthle MartinBelthle force-pushed the make-relative-range-more-precise branch 2 times, most recently from 796c237 to d86e2f6 Compare July 2, 2024 12:22
@MartinBelthle MartinBelthle changed the title Draft: make relative range more precise make relative range more precise Jul 2, 2024
@MartinBelthle MartinBelthle marked this pull request as ready for review July 2, 2024 12:22
@MartinBelthle MartinBelthle force-pushed the make-relative-range-more-precise branch from d297a22 to 4238eee Compare July 2, 2024 12:33
@MartinBelthle MartinBelthle added the PR: waiting-for-review This PR is waiting to be reviewed label Jul 2, 2024
@MartinBelthle MartinBelthle force-pushed the make-relative-range-more-precise branch from 80dbc00 to 284ce2f Compare July 2, 2024 16:25
Signed-off-by: belthlemar <martin.belthle@rte-france.com>
Signed-off-by: belthlemar <martin.belthle@rte-france.com>
Signed-off-by: belthlemar <martin.belthle@rte-france.com>
Signed-off-by: belthlemar <martin.belthle@rte-france.com>
@MartinBelthle MartinBelthle force-pushed the make-relative-range-more-precise branch from 2562870 to 2715d90 Compare July 3, 2024 14:12
@MartinBelthle MartinBelthle requested a review from pet-mit July 3, 2024 14:24
@pet-mit pet-mit merged commit ee32693 into main Jul 4, 2024
10 checks passed
@pet-mit pet-mit deleted the make-relative-range-more-precise branch July 4, 2024 12:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
PR: waiting-for-review This PR is waiting to be reviewed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Make relative ranges more precise in MIP
2 participants