Skip to content

Use context manager for cleanups#172

Merged
tomli380576 merged 1 commit intomainfrom
context-manager-ephemeral
Feb 12, 2026
Merged

Use context manager for cleanups#172
tomli380576 merged 1 commit intomainfrom
context-manager-ephemeral

Conversation

@tomli380576
Copy link
Collaborator

No description provided.

@tomli380576 tomli380576 merged commit 2443ea4 into main Feb 12, 2026
1 check passed
@tomli380576 tomli380576 deleted the context-manager-ephemeral branch February 12, 2026 05:51
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