Skip to content

Routes question: sort cluster lists in diff tables#8945

Merged
dhalperi merged 2 commits intomasterfrom
cluster-list
Feb 17, 2024
Merged

Routes question: sort cluster lists in diff tables#8945
dhalperi merged 2 commits intomasterfrom
cluster-list

Conversation

@anothermattbrown
Copy link
Copy Markdown
Contributor

We already sort cluster lists in single-snapshot answers, do the same in differential mode too.

We already sort cluster lists in single-snapshot answers, do the same in differential mode too.
@batfish-bot
Copy link
Copy Markdown

This change is Reviewable

@codecov
Copy link
Copy Markdown

codecov bot commented Feb 17, 2024

Codecov Report

Merging #8945 (f77c7c5) into master (3e4e8e3) will decrease coverage by 0.02%.
The diff coverage is 100.00%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #8945      +/-   ##
==========================================
- Coverage   72.53%   72.52%   -0.02%     
==========================================
  Files        3323     3323              
  Lines      169603   169607       +4     
  Branches    19915    19915              
==========================================
- Hits       123030   123015      -15     
- Misses      37410    37425      +15     
- Partials     9163     9167       +4     
Files Coverage Δ
...rg/batfish/question/routes/RoutesAnswererUtil.java 88.90% <100.00%> (+0.26%) ⬆️

... and 6 files with indirect coverage changes

Copy link
Copy Markdown
Member

@dhalperi dhalperi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 2 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @anothermattbrown)

@dhalperi dhalperi merged commit 6709c01 into master Feb 17, 2024
@dhalperi dhalperi deleted the cluster-list branch February 17, 2024 00:42
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.

3 participants