Skip to content

fix: a few edge cases with zero entities#92

Merged
sweco merged 1 commit intomainfrom
fix-zero-entities-edge-cases
Oct 15, 2025
Merged

fix: a few edge cases with zero entities#92
sweco merged 1 commit intomainfrom
fix-zero-entities-edge-cases

Conversation

@sweco
Copy link
Collaborator

@sweco sweco commented Oct 14, 2025

No description provided.

@sweco sweco force-pushed the fix-zero-entities-edge-cases branch 4 times, most recently from 6ad6925 to 285f46a Compare October 14, 2025 21:17
@sweco sweco force-pushed the fix-zero-entities-edge-cases branch from 285f46a to b92515a Compare October 14, 2025 21:34
@sweco sweco changed the title fix: a few edge-cases with zero entities fix: a few edge cases with zero entities Oct 14, 2025
@sweco sweco marked this pull request as ready for review October 15, 2025 06:55
@sweco sweco merged commit 57c68b3 into main Oct 15, 2025
5 of 6 checks passed
@sweco sweco deleted the fix-zero-entities-edge-cases branch October 15, 2025 06:55
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.

1 participant