Skip to content

Add PoolStatus.size() helper as convenience for free + busy#146

Merged
rbygrave merged 1 commit into
mainfrom
feature/size-helper
Jun 10, 2026
Merged

Add PoolStatus.size() helper as convenience for free + busy#146
rbygrave merged 1 commit into
mainfrom
feature/size-helper

Conversation

@rob-bygrave

Copy link
Copy Markdown
Collaborator

No description provided.

@rob-bygrave rob-bygrave self-assigned this Jun 10, 2026
@rbygrave rbygrave merged commit 787effb into main Jun 10, 2026
2 checks passed
@rbygrave rbygrave deleted the feature/size-helper branch June 10, 2026 04:39
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.

2 participants