Skip to content

Fix gap computation#1101

Merged
spirali merged 1 commit intomainfrom
fix-gap
May 6, 2026
Merged

Fix gap computation#1101
spirali merged 1 commit intomainfrom
fix-gap

Conversation

@spirali
Copy link
Copy Markdown
Collaborator

@spirali spirali commented Apr 27, 2026

Fix soundness problem in gap computation (the part of main scheduler) in case of more variant of resources

@spirali spirali merged commit 7ee24eb into main May 6, 2026
9 checks passed
@spirali spirali deleted the fix-gap branch May 6, 2026 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant