Skip to content

Update scala-library to 2.13.17#267

Merged
Philippus merged 1 commit intoPhilippus:mainfrom
scala-steward:update/scala-library-2.13.17
Oct 21, 2025
Merged

Update scala-library to 2.13.17#267
Philippus merged 1 commit intoPhilippus:mainfrom
scala-steward:update/scala-library-2.13.17

Conversation

@scala-steward
Copy link
Copy Markdown
Contributor

@scala-steward scala-steward commented Oct 7, 2025

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

@scala-steward scala-steward force-pushed the update/scala-library-2.13.17 branch from f45ed24 to 321566e Compare October 17, 2025 17:30
@Philippus Philippus merged commit 7fe2454 into Philippus:main Oct 21, 2025
0 of 10 checks passed
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.

2 participants