Skip to content

Add a stable sort #151

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

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

Add a stable sort #151

wants to merge 1 commit into from

Conversation

halostatue
Copy link
Member

@halostatue halostatue commented Nov 21, 2020

  • This probably has a negative performance impact, so I’m not sure I’m going to merge this.

See #148

@halostatue halostatue added the Bug label Nov 21, 2020
@halostatue halostatue self-assigned this Nov 21, 2020
halostatue

This comment was marked as outdated.

@halostatue halostatue changed the base branch from master to main November 15, 2021 18:29
@halostatue halostatue force-pushed the type-for-sort-stability branch from 50e63b7 to 7efbdb9 Compare November 15, 2021 18:41
@halostatue halostatue force-pushed the type-for-sort-stability branch from 7efbdb9 to 1531777 Compare July 4, 2022 02:23
@halostatue halostatue force-pushed the type-for-sort-stability branch 2 times, most recently from 6d46462 to 1f40eec Compare February 17, 2023 03:06
@halostatue halostatue force-pushed the type-for-sort-stability branch from 1f40eec to 650047e Compare January 2, 2024 06:00
@halostatue halostatue force-pushed the type-for-sort-stability branch from 650047e to 5cb2b17 Compare March 18, 2025 00:15
- This probably has a negative performance impact, so I’m not sure I’m going to
  merge this.
@halostatue halostatue force-pushed the type-for-sort-stability branch from 5cb2b17 to fc1372e Compare April 5, 2025 20:10
@coveralls
Copy link

Coverage Status

coverage: 89.59% (+0.03%) from 89.557%
when pulling fc1372e on type-for-sort-stability
into ca7142f on main.

halostatue added a commit that referenced this pull request Apr 7, 2025
halostatue added a commit that referenced this pull request Apr 11, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants