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

Incorrect ranking in scheduler #801

Closed
jpbruinsslot opened this issue Apr 24, 2023 · 0 comments · Fixed by #988
Closed

Incorrect ranking in scheduler #801

jpbruinsslot opened this issue Apr 24, 2023 · 0 comments · Fixed by #988
Assignees
Labels
bug Something isn't working mula Issues related to the scheduler

Comments

@jpbruinsslot
Copy link
Contributor

upper and lower bounds are incorrectly calculated in the function of the ranker

@jpbruinsslot jpbruinsslot added bug Something isn't working mula Issues related to the scheduler labels Apr 24, 2023
@jpbruinsslot jpbruinsslot self-assigned this Apr 24, 2023
@jpbruinsslot jpbruinsslot added this to KAT Apr 24, 2023
@github-project-automation github-project-automation bot moved this to Incoming features / Need assessment in KAT Apr 24, 2023
@jpbruinsslot jpbruinsslot moved this from Incoming features / Need assessment to Backlog / Refined tasks in KAT Apr 24, 2023
@jpbruinsslot jpbruinsslot linked a pull request May 1, 2023 that will close this issue
2 tasks
@jpbruinsslot jpbruinsslot removed a link to a pull request May 1, 2023
2 tasks
@jpbruinsslot jpbruinsslot moved this from Backlog / Refined tasks to In Progress in KAT May 16, 2023
@jpbruinsslot jpbruinsslot linked a pull request May 17, 2023 that will close this issue
@jpbruinsslot jpbruinsslot moved this from In Progress to Todo (In this sprint) in KAT May 17, 2023
@jpbruinsslot jpbruinsslot moved this from Todo (In this sprint) to Review in KAT May 24, 2023
@ammar92 ammar92 moved this from Review to QA review / functional testing in KAT May 24, 2023
@Darwinkel Darwinkel moved this from QA review / functional testing to Ready for merge in KAT May 25, 2023
@github-project-automation github-project-automation bot moved this from Ready for merge to Done in KAT May 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working mula Issues related to the scheduler
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

1 participant