Skip to content

Update prometheus-metrics-core to 1.5.1#2836

Merged
github-actions[bot] merged 2 commits intomasterfrom
update/prometheus-metrics-core-1.5.1
Apr 13, 2026
Merged

Update prometheus-metrics-core to 1.5.1#2836
github-actions[bot] merged 2 commits intomasterfrom
update/prometheus-metrics-core-1.5.1

Conversation

@softwaremill-ci
Copy link
Copy Markdown
Contributor

About this PR

📦 Updates io.prometheus:prometheus-metrics-core from 1.5.0 to 1.5.1

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!

🔍 Files still referring to the old version number

The following files still refer to the old version number (1.5.0).
You might want to review and update them manually.

build.sbt
⚙ Adjust future updates

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

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

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

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

@github-actions github-actions bot merged commit 3366aae into master Apr 13, 2026
44 checks passed
@github-actions github-actions bot deleted the update/prometheus-metrics-core-1.5.1 branch April 13, 2026 10:14
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