Skip to content

🔖 Prepare release of v3.1.0 #648

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 2 commits into from
Jul 11, 2025
Merged

🔖 Prepare release of v3.1.0 #648

merged 2 commits into from
Jul 11, 2025

Conversation

denialhaag
Copy link
Contributor

Description

This PR prepares the release of v3.1.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.

@github-project-automation github-project-automation bot moved this to In Progress in MQT Verification Jul 11, 2025
@denialhaag denialhaag self-assigned this Jul 11, 2025
@denialhaag denialhaag requested a review from burgholzer July 11, 2025 15:57
@denialhaag denialhaag marked this pull request as ready for review July 11, 2025 15:57
@denialhaag
Copy link
Contributor Author

Once #647 is merged, we can merge also this.

burgholzer
burgholzer approved these changes Jul 11, 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.

LGTM 👍🏼

@burgholzer burgholzer added the documentation Improvements or additions to documentation label Jul 11, 2025
@denialhaag denialhaag merged commit 9771a59 into main Jul 11, 2025
14 checks passed
@denialhaag denialhaag deleted the prepare-release-310 branch July 11, 2025 16:46
@github-project-automation github-project-automation bot moved this from In Progress to Done in MQT Verification Jul 11, 2025
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