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

Renovate Combined Pull Request #1023

Merged
merged 7 commits into from
Sep 25, 2024
Merged

Renovate Combined Pull Request #1023

merged 7 commits into from
Sep 25, 2024

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Sep 23, 2024

This PR was created by the Combine PRs action by combining the following PRs:
#1020 Update log4j2 monorepo to v2.24.0
#1021 Update Terraform azurerm to v4 REVERTED
#1022 Update dependency org.pitest:pitest to v1.17.0 REVERTED

@github-actions github-actions bot requested a review from a team as a code owner September 23, 2024 10:07
@hmcts-jenkins-a-to-c
Copy link
Contributor

Plan Result (aat)

No changes. Your infrastructure matches the configuration.

@hmcts-jenkins-a-to-c
Copy link
Contributor

Plan Result (prod)

No changes. Your infrastructure matches the configuration.

@hmcts-jenkins-a-to-c hmcts-jenkins-a-to-c bot deployed to preview September 24, 2024 16:10 Active
@hmcts-jenkins-a-to-c hmcts-jenkins-a-to-c bot deployed to preview September 24, 2024 16:16 Active
Copy link
Contributor

@mikebrownccd mikebrownccd left a comment

Choose a reason for hiding this comment

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

LGTM

@mikebrownccd mikebrownccd merged commit 17eff88 into master Sep 25, 2024
2 checks passed
@mikebrownccd mikebrownccd deleted the combine-prs-branch branch September 25, 2024 12:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants