Skip to content

Conversation

@albertms10
Copy link
Owner

No description provided.

@albertms10 albertms10 added this to the Road to 0.25 milestone Dec 22, 2025
@albertms10 albertms10 self-assigned this Dec 22, 2025
@albertms10 albertms10 added the refactor The code needs to be refactored label Dec 22, 2025
@coveralls
Copy link

Pull Request Test Coverage Report for Build 20433932968

Details

  • 0 of 0 changed or added relevant lines in 0 files are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage remained the same at 100.0%

Totals Coverage Status
Change from base Build 20425724370: 0.0%
Covered Lines: 1728
Relevant Lines: 1728

💛 - Coveralls

@albertms10 albertms10 merged commit e7b4317 into main Dec 22, 2025
3 checks passed
@albertms10 albertms10 deleted the refactor/swap-more-natural-notation-system-type-parameters-order branch December 22, 2025 13:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

refactor The code needs to be refactored

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants