Skip to content

sbt, scripted-plugin 1.13.0 (was 1.12.15) - #569

Merged
mkurz merged 1 commit into
playframework:mainfrom
scala-steward:update/sbt-1.13.0
Aug 22, 2026
Merged

sbt, scripted-plugin 1.13.0 (was 1.12.15)#569
mkurz merged 1 commit into
playframework:mainfrom
scala-steward:update/sbt-1.13.0

Conversation

@scala-steward

Copy link
Copy Markdown
Contributor

About this PR

📦 Updates

from 1.12.15 to 1.13.0

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

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

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

@mergify mergify Bot added the type:updates label Aug 21, 2026
@mergify

mergify Bot commented Aug 21, 2026

Copy link
Copy Markdown
Contributor

Tick the box to add this pull request to the merge queue (same as @mergifyio queue).

  • Queue this pull request

@mkurz
mkurz merged commit 839e162 into playframework:main Aug 22, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants