Skip to content

Update scala-library to 2.13.17#208

Merged
satorg merged 1 commit intomainfrom
update/scala-library-2.13.17
Oct 18, 2025
Merged

Update scala-library to 2.13.17#208
satorg merged 1 commit intomainfrom
update/scala-library-2.13.17

Conversation

@typelevel-steward
Copy link
Copy Markdown
Contributor

About this PR

📦 Updates org.scala-lang:scala-library from 2.13.16 to 2.13.17

📜 GitHub Release Notes - Version Diff

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 = "org.scala-lang", artifactId = "scala-library" } ]

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

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

@satorg satorg force-pushed the update/scala-library-2.13.17 branch from b1f42ad to b51a690 Compare October 18, 2025 00:30
@satorg satorg merged commit 31d8970 into main Oct 18, 2025
10 checks passed
@satorg satorg deleted the update/scala-library-2.13.17 branch October 18, 2025 05:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant