Skip to content

Sort baselines#10

Merged
benjie merged 1 commit intomainfrom
sort-baseline
Oct 29, 2024
Merged

Sort baselines#10
benjie merged 1 commit intomainfrom
sort-baseline

Conversation

@benjie
Copy link
Copy Markdown
Member

@benjie benjie commented Oct 29, 2024

Fixes #9 - by sorting the baselines, updating a baseline should be a smaller diff.

@benjie benjie merged commit 7427c43 into main Oct 29, 2024
@benjie benjie deleted the sort-baseline branch October 29, 2024 12:05
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.

Use canonical ordering

1 participant