Skip to content

Update sbt to 2.0.12 - #278

Merged
mergify[bot] merged 1 commit into
masterfrom
update/sbt-2.0.12
Oct 28, 2026
Merged

mergify[bot] merged 1 commit into
masterfrom
update/sbt-2.0.12

Conversation

@slick-scala-steward

Copy link
Copy Markdown

About this PR

📦 Updates org.scala-sbt:sbt from 2.0.11 to 2.0.12

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

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

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

@mergify

mergify Bot commented Oct 28, 2026 •

Copy link
Copy Markdown
Contributor

Queued — the merge queue status continues in this comment ↓.

@mergify mergify Bot added the queued label Oct 28, 2026
@mergify
mergify Bot merged commit ed15ec8 into master Oct 28, 2026
6 checks passed
@mergify

mergify Bot commented Oct 28, 2026

Copy link
Copy Markdown
Contributor

✅ Merged into master as ed15ec8 at 10:18 UTC

Less than a minute in the queue, with no time running CI.

So far

  • ✅ Entered the queue Wed 28 Oct, 10:18 · rule default · triggered by rule Automatically merge successful Scala Steward PRs
  • ✅ Checks skipped · PR is already up-to-date
  • ✅ Merged 10:18 · ed15ec8

Times in UTC · dashboard · how the merge queue works

@mergify
mergify Bot deleted the update/sbt-2.0.12 branch October 28, 2026 10:18
@mergify mergify Bot removed the queued label Oct 28, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

0 participants