Skip to content

chore(master): release 0.5.12#100

Merged
jerome-benoit merged 2 commits intomasterfrom
release-please--branches--master
Aug 22, 2025
Merged

chore(master): release 0.5.12#100
jerome-benoit merged 2 commits intomasterfrom
release-please--branches--master

Conversation

@jerome-benoit
Copy link
Copy Markdown
Contributor

@jerome-benoit jerome-benoit commented Aug 21, 2025

🤖 I have created a release beep boop

0.5.12 (2025-08-22)

🐞 Bug Fixes

  • ensure destroy event has up2date pool info (6ae415c)

✨ Polish

  • make pool destroy() more robust (74899b5)

📚 Documentation

  • refine some code comments (c306ee8)

This PR was generated with Release Please. See documentation.

@jerome-benoit jerome-benoit force-pushed the release-please--branches--master branch from f32c673 to 1ffb819 Compare August 22, 2025 17:38
@sonarqubecloud
Copy link
Copy Markdown

@jerome-benoit jerome-benoit merged commit e926e5d into master Aug 22, 2025
15 checks passed
@jerome-benoit
Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant