Skip to content

Conversation

@lahma
Copy link
Collaborator

@lahma lahma commented Jul 3, 2025

No description provided.

@lahma lahma force-pushed the explicit-resource-management branch 5 times, most recently from 35b2c53 to 2d93ca0 Compare July 12, 2025 18:12
@lahma lahma marked this pull request as ready for review July 12, 2025 18:13
@lahma lahma force-pushed the explicit-resource-management branch 3 times, most recently from 8e019f6 to 6b27396 Compare July 12, 2025 18:21
@lahma lahma force-pushed the explicit-resource-management branch from 6b27396 to b6cde75 Compare July 12, 2025 18:27
@lahma lahma changed the title Add support for explicit resource management Add support for using and await using Jul 12, 2025
@lahma lahma merged commit 0b03f8e into sebastienros:main Jul 12, 2025
4 checks passed
@lahma lahma deleted the explicit-resource-management branch July 12, 2025 18:32
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