Skip to content

Minor/major updates - #3434

Draft
scala-steward wants to merge 7 commits into
apalache-mc:mainfrom
scala-steward:update/minor_major
Draft

Minor/major updates#3434
scala-steward wants to merge 7 commits into
apalache-mc:mainfrom
scala-steward:update/minor_major

Conversation

@scala-steward

@scala-steward scala-steward commented Aug 5, 2026

Copy link
Copy Markdown
Contributor

About this PR

Updates:

Usage

Please merge!

I'll automatically update this PR to resolve conflicts as long as you don't change it yourself.

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 numbers

The following files still refer to the old version numbers.
You might want to review and update them manually.

docs/src/adr/025adr-cvc5-solver-backend.md
⚙ Adjust future updates

Add these to your .scala-steward.conf file to ignore future updates of these dependencies:

updates.ignore = [
  { groupId = "com.eed3si9n", artifactId = "sbt-assembly" },
  { groupId = "com.fasterxml.jackson.core", artifactId = "jackson-databind" },
  { groupId = "com.lihaoyi", artifactId = "ujson" },
  { groupId = "com.lihaoyi", artifactId = "upickle" },
  { groupId = "dev.zio", artifactId = "zio" }
]

Or, add these to slow down future updates of these dependencies:

dependencyOverrides = [
  {
    pullRequests = { frequency = "30 days" },
    dependency = { groupId = "com.eed3si9n", artifactId = "sbt-assembly" }
  },
  {
    pullRequests = { frequency = "30 days" },
    dependency = { groupId = "com.fasterxml.jackson.core", artifactId = "jackson-databind" }
  },
  {
    pullRequests = { frequency = "30 days" },
    dependency = { groupId = "com.lihaoyi", artifactId = "ujson" }
  },
  {
    pullRequests = { frequency = "30 days" },
    dependency = { groupId = "com.lihaoyi", artifactId = "upickle" }
  },
  {
    pullRequests = { frequency = "30 days" },
    dependency = { groupId = "dev.zio", artifactId = "zio" }
  }
]
labels: dependencies, scala, early-semver-major, semver-spec-major, early-semver-minor, semver-spec-minor, version-scheme:semver-spec, commit-count:n:5

@scala-steward
scala-steward force-pushed the update/minor_major branch 4 times, most recently from e6d4994 to 97c70f7 Compare August 13, 2026 15:24
Signed-off-by: Scala Steward <scala_steward@virtuslab.com>
Signed-off-by: Scala Steward <scala_steward@virtuslab.com>
Signed-off-by: Scala Steward <scala_steward@virtuslab.com>
Signed-off-by: Scala Steward <scala_steward@virtuslab.com>
Signed-off-by: Scala Steward <scala_steward@virtuslab.com>

@konnov konnov left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

ignore major updates

Comment thread project/Dependencies.scala Outdated
Comment thread project/plugins.sbt Outdated
Co-authored-by: igor@konnov.phd <igor@konnov.phd>
Signed-off-by: igor@konnov.phd <igor@konnov.phd>
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.

2 participants