Skip to content

fix(deps): update jetty monorepo to v12.1.12 - #2371

Merged
renovate[bot] merged 1 commit into
mainfrom
renovate/jetty-monorepo
Aug 5, 2026
Merged

fix(deps): update jetty monorepo to v12.1.12#2371
renovate[bot] merged 1 commit into
mainfrom
renovate/jetty-monorepo

Conversation

@renovate

@renovate renovate Bot commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

This PR contains the following updates:

Package Change Age Confidence
org.eclipse.jetty.ee10:jetty-ee10-servlet (source) 12.1.1112.1.12 age confidence
org.eclipse.jetty:jetty-server (source) 12.1.1112.1.12 age confidence

Configuration

📅 Schedule: (UTC)

  • Branch creation
    • At any time (no schedule defined)
  • Automerge
    • At any time (no schedule defined)

🚦 Automerge: Enabled.

Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about these updates again.


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

This PR was generated by Mend Renovate. View the repository job log.

@renovate renovate Bot added the dependencies Pull requests that update a dependency file label Aug 5, 2026
@renovate
renovate Bot enabled auto-merge (squash) August 5, 2026 00:37
@github-actions

github-actions Bot commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

Benchmark results

Benchmark run finished with conclusion skipped for 88a51a4f7d2cb84a2ae23c7fc690259b7f590364.

Benchmark summary artifact was not found; see the workflow run for details.

@renovate
renovate Bot merged commit 08967e0 into main Aug 5, 2026
25 checks passed
@renovate
renovate Bot deleted the renovate/jetty-monorepo branch August 5, 2026 00:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant