Skip to content

Update scala-library to 2.13.17 - #164

Closed
robinraju wants to merge 1 commit into
mainfrom
update/scala-library-2.13.17
Closed

Update scala-library to 2.13.17#164
robinraju wants to merge 1 commit into
mainfrom
update/scala-library-2.13.17

Conversation

@robinraju

Copy link
Copy Markdown
Owner

About this PR

📦 Updates org.scala-lang:scala-library from 2.13.15 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

@robinraju

Copy link
Copy Markdown
Owner Author

Superseded by

@robinraju robinraju closed this Dec 1, 2025
@robinraju
robinraju deleted the update/scala-library-2.13.17 branch December 1, 2025 06:30
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