Skip to content

Update vertx-core to 5.1.5#620

Merged
github-actions[bot] merged 1 commit into
masterfrom
update/vertx-core-5.1.5
Jul 14, 2026
Merged

Update vertx-core to 5.1.5#620
github-actions[bot] merged 1 commit into
masterfrom
update/vertx-core-5.1.5

Conversation

@softwaremill-ci

Copy link
Copy Markdown
Contributor

About this PR

📦 Updates io.vertx:vertx-core from 5.1.4 to 5.1.5

Usage

Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

If you'd like to skip this version, you can just close this PR. If you have any feedback, just mention me in the comments below.

Configure Scala Steward for your repository with a .scala-steward.conf file.

Have a fantastic day writing Scala!

⚙ Adjust future updates

Add this to your .scala-steward.conf file to ignore future updates of this dependency:

updates.ignore = [ { groupId = "io.vertx", artifactId = "vertx-core" } ]

Or, add this to slow down future updates of this dependency:

dependencyOverrides = [{
  pullRequests = { frequency = "30 days" },
  dependency = { groupId = "io.vertx", artifactId = "vertx-core" }
}]
labels: library-update, early-semver-patch, semver-spec-patch, commit-count:1

@github-actions
github-actions Bot merged commit 0ffeeaf into master Jul 14, 2026
10 checks passed
@github-actions
github-actions Bot deleted the update/vertx-core-5.1.5 branch July 14, 2026 01:05
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.

1 participant