Skip to content

Update prometheus-metrics-core to 1.3.5#2370

Merged
github-actions[bot] merged 1 commit intomasterfrom
update/prometheus-metrics-core-1.3.5
Dec 14, 2024
Merged

Update prometheus-metrics-core to 1.3.5#2370
github-actions[bot] merged 1 commit intomasterfrom
update/prometheus-metrics-core-1.3.5

Conversation

@softwaremill-ci
Copy link
Contributor

About this PR

📦 Updates io.prometheus:prometheus-metrics-core from 1.3.4 to 1.3.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.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, commit-count:1

@github-actions github-actions bot merged commit 9d6c159 into master Dec 14, 2024
26 checks passed
@github-actions github-actions bot deleted the update/prometheus-metrics-core-1.3.5 branch December 14, 2024 00:44
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