Skip to content

Update sbt, scripted-plugin to 1.13.1 - #1766

Open
scala-steward wants to merge 1 commit into
apache:mainfrom
scala-steward:update/sbt-1.13.1
Open

scala-steward wants to merge 1 commit into
apache:mainfrom
scala-steward:update/sbt-1.13.1

Conversation

@scala-steward

Copy link
Copy Markdown
Contributor

About this PR

📦 Updates

from 1.12.15 to 1.13.1

📜 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

@github-actions github-actions Bot added the dependencies Pull requests that update a dependency file label Oct 28, 2026

@stevedlawrence stevedlawrence left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

+1

  • Do all automated continuous integration checks pass?
    Yes
  • Is the update a patch, minor, or major update?
    Minor update, security fixes and bug fixes, nothing that seems to affect Daffodil
  • Is the license still compatible with ASF License Policy?
    Yes, ALv2
  • Have any changes been made to LICENSE/NOTICE files that need to be incorporated?
    Not applicable, we do not distribute
  • Have any transitive dependencies been added or changed?
    Not applicable, we do not distribute

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

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants