Skip to content

Update sbt, scripted-plugin to 1.12.4#2062

Merged
mergify[bot] merged 1 commit intoscalapb:masterfrom
scala-steward:update/sbt-1.12.4
Feb 24, 2026
Merged

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

Conversation

@scala-steward
Copy link
Contributor

About this PR

📦 Updates

from 1.12.3 to 1.12.4

📜 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.12.3).
You might want to review and update them manually.

website/yarn.lock
⚙ 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-patch, semver-spec-patch, version-scheme:early-semver, old-version-remains, commit-count:1

@mergify mergify bot merged commit 0d0b994 into scalapb:master Feb 24, 2026
14 checks passed
@mergify
Copy link
Contributor

mergify bot commented Feb 24, 2026

Merge Queue Status

Rule: default


  • Entered queue2026-02-24 22:38 UTC
  • Checks passed · in-place
  • Merged2026-02-24 22:38 UTC · at 3992983f7fcc1fa5c6c2b7033de85ca4a9f3b80d

This pull request spent 6 seconds in the queue, with no time running CI.

Required conditions to merge

@mergify mergify bot removed the queued label Feb 24, 2026
@scala-steward scala-steward deleted the update/sbt-1.12.4 branch March 2, 2026 23:31
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