Skip to content

prepare release 7.0.0#520

Merged
cicirello merged 2 commits into
masterfrom
release
Jul 7, 2026
Merged

prepare release 7.0.0#520
cicirello merged 2 commits into
masterfrom
release

Conversation

@cicirello

@cicirello cicirello commented Jul 7, 2026

Copy link
Copy Markdown
Owner

Summary

prepare release 7.0.0

Pull Request Requirements

If you are unable to check everything in this list, your pull request will be closed:

  • I have read the CONTRIBUTING document.
  • My pull request has a corresponding Issue and I linked to it above in the Closing Issues section.

Types of Changes

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Improvements to existing code, such as refactoring or optimizations (non-breaking)
  • Breaking change (fix or feature that would cause existing functionality to change)
  • My code follows the code style of this project.
  • My change requires a change to the documentation.
  • I have updated the documentation accordingly.
  • I have added tests to cover my changes.
  • All new and existing tests passed.

@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

JaCoCo Test Coverage Summary Statistics

  • Coverage: 100%
  • Branches: 100%

@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown
Contributor

JaCoCo Test Coverage Summary Statistics

  • Coverage: 100%
  • Branches: 100%

@cicirello cicirello merged commit ae80b1d into master Jul 7, 2026
5 checks passed
@cicirello cicirello deleted the release branch July 7, 2026 19:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

1 participant