Skip to content

[opt] resource sharing area comparator tie break on source node IDs. - #5378

Merged
copybara-service[bot] merged 1 commit into
mainfrom
test_1019822810
Nov 13, 2026
Merged

copybara-service[bot] merged 1 commit into
mainfrom
test_1019822810

Conversation

@copybara-service

Copy link
Copy Markdown

[opt] resource sharing area comparator tie break on source node IDs.

SortFoldingActionsInDescendingOrderOfTheirAreaSavings previously left their relative order unspecified when everything but the order of sources was the same. This is now accounted for.

SortFoldingActionsInDescendingOrderOfTheirAreaSavings previously left their relative order unspecified when everything but the order of sources was the same. This is now accounted for.

PiperOrigin-RevId: 1020507897
@copybara-service
copybara-service Bot merged commit 56c16a6 into main Nov 13, 2026
5 checks passed
@copybara-service
copybara-service Bot deleted the test_1019822810 branch November 13, 2026 00:03

This branch was previously deployed

1 inactive deployment
github-pages — 56c16a6e Deployed Nov 13, 2026 by copybara-service[bot] via deploy #14292
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