Skip to content

🔖 Prepare release of v1.13.0 #149

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom
Merged
merged 1 commit into from
Jul 16, 2025
Merged

🔖 Prepare release of v1.13.0 #149

merged 1 commit into from
Jul 16, 2025

Conversation

denialhaag
Copy link
Contributor

Description

This PR prepares the release of v1.13.0.

Checklist:

  • The pull request only contains commits that are focused and relevant to this change.
  • I have added appropriate tests that cover the new/changed functionality.
  • I have updated the documentation to reflect these changes.
  • I have added entries to the changelog for any noteworthy additions, changes, fixes, or removals.
  • I have added migration instructions to the upgrade guide (if needed).
  • The changes follow the project's style guidelines and introduce no new warnings.
  • The changes are fully tested and pass the CI checks.
  • I have reviewed my own code changes.

@denialhaag denialhaag requested a review from burgholzer July 16, 2025 09:02
@denialhaag denialhaag self-assigned this Jul 16, 2025
@burgholzer burgholzer added the documentation Improvements or additions to documentation label Jul 16, 2025
denialhaag
denialhaag commented Jul 16, 2025
View reviewed changes
burgholzer
burgholzer approved these changes Jul 16, 2025
View reviewed changes
Copy link
Member

@burgholzer burgholzer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice catch with the PR number mismatch.
Feel free to merge and release 🚀

@denialhaag denialhaag merged commit 878929a into main Jul 16, 2025
4 checks passed
@denialhaag denialhaag deleted the prepare-release-1-13-0 branch July 16, 2025 09:09
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@burgholzer burgholzer burgholzer approved these changes

Assignees

@denialhaag denialhaag

Labels
documentation Improvements or additions to documentation
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@denialhaag @burgholzer