Skip to content

Update sbt, scripted-plugin to 1.12.0#2026

Merged
mergify[bot] merged 1 commit intoscalapb:masterfrom
scala-steward:update/sbt-1.12.0
Jan 6, 2026
Merged

Update sbt, scripted-plugin to 1.12.0#2026
mergify[bot] merged 1 commit intoscalapb:masterfrom
scala-steward:update/sbt-1.12.0

Conversation

@scala-steward
Copy link
Contributor

About this PR

📦 Updates

from 1.11.7 to 1.12.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!

🔍 Files still referring to the old version number

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

website/static/img/logo.svg
⚙ 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, old-version-remains, commit-count:1

mergify bot added a commit that referenced this pull request Jan 6, 2026
@mergify mergify bot merged commit 8fef247 into scalapb:master Jan 6, 2026
14 checks passed
@mergify
Copy link
Contributor

mergify bot commented Jan 6, 2026

Merge Queue Status

✅ The pull request has been merged at 2a8aa33

This pull request spent 10 seconds in the queue, including 1 second running CI.
The checks were run on draft #2030.

Required conditions to merge

@mergify mergify bot removed the queued label Jan 6, 2026
@scala-steward scala-steward deleted the update/sbt-1.12.0 branch January 29, 2026 10:42
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