Repository navigation
Better interface for builders in lists and sets - #81
Merged
AndreasIgel merged 14 commits intoOct 24, 2025
Merged
Codecov / codecov/patch
succeeded
Oct 24, 2025 in 1s
85.49% of diff hit (within 5.00% threshold of 90.00%)
View this Pull Request on Codecov
85.49% of diff hit (within 5.00% threshold of 90.00%)
Loading