Skip to content
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.

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

Release v1.25.0 #1239

Merged
merged 1 commit into from
Mar 24, 2023
Merged

Release v1.25.0 #1239

merged 1 commit into from
Mar 24, 2023

Conversation

piotrpio
Copy link
Collaborator

Added

Improved

Changed

@piotrpio piotrpio marked this pull request as ready for review March 24, 2023 16:03
@piotrpio piotrpio requested review from Jarema and wallyqs March 24, 2023 16:03
@coveralls
Copy link

coveralls commented Mar 24, 2023

Coverage Status

Coverage: 85.27% (+0.1%) from 85.152% when pulling eedcb41 on release/v1.25.0 into 261cfc5 on main.

Copy link
Member

@aricart aricart left a comment

Choose a reason for hiding this comment

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

LGTM

@piotrpio piotrpio requested a review from aricart March 24, 2023 16:25
Copy link
Member

@Jarema Jarema left a comment

Choose a reason for hiding this comment

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

LGTM

@piotrpio piotrpio merged commit 9f57f78 into main Mar 24, 2023
@piotrpio piotrpio deleted the release/v1.25.0 branch March 24, 2023 16:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants