Skip to content

Update scala-library to 2.13.17#505

Merged
rossabaker merged 1 commit into
mainfrom
update/scala-library-2.13.17
Nov 15, 2025
Merged

Update scala-library to 2.13.17#505
rossabaker merged 1 commit into
mainfrom
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

@rossabaker rossabaker force-pushed the update/scala-library-2.13.17 branch from 43127a6 to 091f020 Compare November 14, 2025 22:54
@rossabaker rossabaker merged commit 25e9f90 into main Nov 15, 2025
13 checks passed
@rossabaker rossabaker deleted the update/scala-library-2.13.17 branch November 15, 2025 04:32
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