grobidOrg / grobid / 35700175971

44%

push

github

chore(deps): bump org.eclipse.jetty:jetty-bom (#1573)

Bumps the jetty group with 1 update in the / directory: [org.eclipse.jetty:jetty-bom](https://github.com/jetty/jetty.project).


Updates `org.eclipse.jetty:jetty-bom` from 12.1.12 to 12.1.13
- [Release notes](https://github.com/jetty/jetty.project/releases)
- [Commits](https://github.com/jetty/jetty.project/compare/jetty-12.1.12...jetty-12.1.13)

---
updated-dependencies:
- dependency-name: org.eclipse.jetty:jetty-bom
  dependency-version: 12.1.13
  dependency-type: direct:production
  update-type: version-update:semver-patch
  dependency-group: jetty
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>

10149 of 25708 branches covered (39.48%)

Branch coverage included in aggregate %.

21272 of 46379 relevant lines covered (45.87%)

1.86 hits per line