Skip to content

Update scala-library, scala-reflect to 2.13.18#2189

Closed
scala-steward wants to merge 1 commit into
guardrail-dev:masterfrom
scala-steward:update/scala-library-2.13.18
Closed

Update scala-library, scala-reflect to 2.13.18#2189
scala-steward wants to merge 1 commit into
guardrail-dev:masterfrom
scala-steward:update/scala-library-2.13.18

Conversation

@scala-steward

Copy link
Copy Markdown
Contributor

About this PR

📦 Updates

from 2.13.12 to 2.13.18

📜 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" } ]

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

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

@github-actions github-actions Bot added the chore label Nov 26, 2025
@blast-hardcheese blast-hardcheese added the minor Bump minor version label Jul 9, 2026
@blast-hardcheese
blast-hardcheese force-pushed the update/scala-library-2.13.18 branch 3 times, most recently from b3826ec to 196e545 Compare July 9, 2026 08:36
@blast-hardcheese
blast-hardcheese force-pushed the update/scala-library-2.13.18 branch from 196e545 to 0c82d80 Compare July 9, 2026 08:56
@blast-hardcheese blast-hardcheese added major Bump major version and removed minor Bump minor version labels Jul 9, 2026
@blast-hardcheese

Copy link
Copy Markdown
Member

Superseded by #2270, which moved the Scala 2.13 matrix to 2.13.18 as part of the refined 0.11.4 update.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

chore major Bump major version

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants