Skip to content

Update sbt, scripted-plugin to 1.12.15 - #217

Merged
mergify[bot] merged 1 commit into
slick:mainfrom
scala-steward:update/sbt-1.12.15
Aug 7, 2026
Merged

Update sbt, scripted-plugin to 1.12.15#217
mergify[bot] merged 1 commit into
slick:mainfrom
scala-steward:update/sbt-1.12.15

Conversation

@scala-steward

Copy link
Copy Markdown
Contributor

About this PR

📦 Updates

from 1.12.14 to 1.12.15

📜 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-patch, semver-spec-patch, version-scheme:early-semver, commit-count:1

@mergify

mergify Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

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

@mergify mergify Bot added the queued label Aug 7, 2026
@mergify

mergify Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

Merge Queue Status

  • Entered queue2026-08-07 23:35 UTC · Rule: default · triggered by rule Automatically merge successful Scala Steward PRs
  • Checks skipped · PR is already up-to-date
  • Merged2026-08-07 23:36 UTC · at 5c6c2bf7dcbe7493a8828fe968274e3815197d6b

This pull request spent 32 seconds in the queue, including 4 seconds running CI.

Required conditions to merge

@mergify
mergify Bot merged commit 5e16554 into slick:main Aug 7, 2026
4 checks passed
@mergify mergify Bot removed the queued label Aug 7, 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.

1 participant