Skip to content

Conversation

@wojcik91
Copy link
Contributor

@wojcik91 wojcik91 commented Sep 10, 2025

Resolve merge conflicts, refresh dependencies before merging into the main branch

@wojcik91 wojcik91 self-assigned this Sep 10, 2025
@wojcik91 wojcik91 added the ignore-for-release Don't list PR in release notes label Sep 10, 2025
@wojcik91 wojcik91 merged commit 5304742 into release/1.5-alpha Sep 10, 2025
3 checks passed
@wojcik91 wojcik91 deleted the pre_release_1.5_cleanup branch September 10, 2025 07:23
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.

5 participants