Skip to content

chore(master): release 5.1.4#2962

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

chore(master): release 5.1.4#2962
jerome-benoit merged 2 commits intomasterfrom
release-please--branches--master--components--poolifier

Conversation

@jerome-benoit
Copy link
Contributor

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

🤖 I have created a release beep boop

5.1.4 (2025-08-22)

🐞 Bug Fixes

  • ensure destroy event has up2date pool info (c4138fc)

✨ Polish

  • make pool destroy() more robust (8b444c5)
  • reorder task finished event emission (e2f9978)

📚 Documentation


This PR was generated with Release Please. See documentation.

@jerome-benoit jerome-benoit requested a review from pioardi as a code owner August 21, 2025 18:42
@jerome-benoit jerome-benoit force-pushed the release-please--branches--master--components--poolifier branch 3 times, most recently from 07920b6 to 723c15c Compare August 22, 2025 16:43
@jerome-benoit jerome-benoit force-pushed the release-please--branches--master--components--poolifier branch from b593db8 to 1a8d623 Compare August 22, 2025 17:41
@sonarqubecloud
Copy link

@jerome-benoit jerome-benoit merged commit 4157327 into master Aug 22, 2025
18 checks passed
@jerome-benoit
Copy link
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