Skip to content

Conversation

@wojcik91
Copy link
Contributor

@wojcik91 wojcik91 commented Oct 9, 2025

Prepare for version 1.5.2 release

@wojcik91 wojcik91 self-assigned this Oct 9, 2025
@wojcik91 wojcik91 added the ignore-for-release Don't list PR in release notes label Oct 9, 2025
@wojcik91 wojcik91 merged commit 07af3a5 into main Oct 9, 2025
15 of 16 checks passed
@wojcik91 wojcik91 deleted the release/1.5.2 branch October 9, 2025 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ignore-for-release Don't list PR in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants