Skip to content

pre-release 1.5 cleanup#1543

Merged
wojcik91 merged 7 commits intorelease/1.5-alphafrom
pre_release_1.5_cleanup
Sep 10, 2025
Merged

pre-release 1.5 cleanup#1543
wojcik91 merged 7 commits intorelease/1.5-alphafrom
pre_release_1.5_cleanup

Conversation

@wojcik91
Copy link
Copy Markdown
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
1 check 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.

4 participants