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

Upgrade Pitest Git plugins 1.0.4 -> 1.0.5 #504

Merged
merged 1 commit into from
Feb 19, 2023

Conversation

Picnic-Bot
Copy link
Contributor

This PR contains the following updates:

Package Type Update Change
com.groupcdg:pitest-git-plugin build patch 1.0.4 -> 1.0.5
com.groupcdg:pitest-github-maven-plugin build patch 1.0.4 -> 1.0.5
com.groupcdg:pitest-git-maven-plugin build patch 1.0.4 -> 1.0.5

  • If you want to rebase/retry this PR, check this box

@Picnic-Bot
Copy link
Contributor Author

Picnic-Bot commented Feb 19, 2023

Suggested commit message:

Upgrade Pitest Git plugins 1.0.4 -> 1.0.5 (#504)

@Stephan202 Stephan202 added this to the 0.9.0 milestone Feb 19, 2023
Copy link
Member

@Stephan202 Stephan202 left a comment

Choose a reason for hiding this comment

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

Retriggered the analysis to test that this aspect still works. The result ended up in another PR (due to the known concurrency issue), but I think we can proceed with this PR.

@rickie rickie changed the title Upgrade version.pitest-git 1.0.4 -> 1.0.5 Upgrade Pitest Git plugins 1.0.4 -> 1.0.5 Feb 19, 2023
@rickie rickie merged commit 80e537f into master Feb 19, 2023
@rickie rickie deleted the renovate/version.pitest-git branch February 19, 2023 11:51
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.

3 participants