Skip to content

chore(deps-dev): bump io.vertx:vertx-junit5 from 5.1.2 to 5.1.3 in the dev-deps group across 1 directory#267

Open
dependabot[bot] wants to merge 1 commit into
masterfrom
dependabot/maven/dev-deps-67cf73af79
Open

chore(deps-dev): bump io.vertx:vertx-junit5 from 5.1.2 to 5.1.3 in the dev-deps group across 1 directory#267
dependabot[bot] wants to merge 1 commit into
masterfrom
dependabot/maven/dev-deps-67cf73af79

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Jun 22, 2026

Copy link
Copy Markdown
Contributor

Bumps the dev-deps group with 1 update in the / directory: io.vertx:vertx-junit5.

Updates io.vertx:vertx-junit5 from 5.1.2 to 5.1.3

Commits

@dependabot dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Jun 22, 2026
@dependabot dependabot Bot requested a review from a team as a code owner June 22, 2026 22:54
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file java Pull requests that update java code labels Jun 22, 2026
Bumps the dev-deps group with 1 update in the / directory: [io.vertx:vertx-junit5](https://github.com/eclipse-vertx/vertx-junit5).


Updates `io.vertx:vertx-junit5` from 5.1.2 to 5.1.3
- [Commits](eclipse-vertx/vertx-junit5@5.1.2...5.1.3)

---
updated-dependencies:
- dependency-name: io.vertx:vertx-junit5
  dependency-version: 5.1.3
  dependency-type: direct:development
  update-type: version-update:semver-patch
  dependency-group: dev-deps
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot changed the title chore(deps-dev): bump io.vertx:vertx-junit5 from 5.1.2 to 5.1.3 in the dev-deps group chore(deps-dev): bump io.vertx:vertx-junit5 from 5.1.2 to 5.1.3 in the dev-deps group across 1 directory Jun 29, 2026
@dependabot dependabot Bot force-pushed the dependabot/maven/dev-deps-67cf73af79 branch from cd38133 to 7b3a0db Compare June 29, 2026 22:53
@sonarqubecloud

Copy link
Copy Markdown

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 java Pull requests that update java code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants