Skip to content

Update scala3-library to 3.7.3#468

Closed
scala-steward wants to merge 1 commit intoendless4s:masterfrom
scala-steward:update/scala3-library-3.7.3
Closed

Update scala3-library to 3.7.3#468
scala-steward wants to merge 1 commit intoendless4s:masterfrom
scala-steward:update/scala3-library-3.7.3

Conversation

@scala-steward
Copy link
Contributor

About this PR

📦 Updates org.scala-lang:scala3-library from 3.7.2 to 3.7.3

📜 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!

🔍 Files still referring to the old version number

The following files still refer to the old version number (3.7.2).
You might want to review and update them manually.

.git-blame-ignore-revs
⚙ 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 = "scala3-library" } ]

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

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

@what-the-diff
Copy link

what-the-diff bot commented Sep 11, 2025

PR Summary

  • Updated Scala Version
    The Scala programming language version used in our project has been updated from 3.7.2 to 3.7.3. This means our application can benefit from any new features, improvements in runtime performance or bug fixes that come with the new version.

@scala-steward
Copy link
Contributor Author

Superseded by

@scala-steward scala-steward deleted the update/scala3-library-3.7.3 branch November 12, 2025 15:47
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