Merge branch 'main' into update/scalacheck-1.18.1

apalache-mc · Sep 18, 2024 · a02a138 · a02a138
2 parents ba39edd + 4d48e34
commit a02a138
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/project/Dependencies.scala b/project/Dependencies.scala
@@ -12,7 +12,7 @@ object Dependencies {
 
   object Deps {
     // Versions
-    lazy val logbackVersion = "1.5.7"
+    lazy val logbackVersion = "1.5.8"
     lazy val clistVersion = "3.5.1"
 
     // Libraries

diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.10.1
+sbt.version=1.10.2
diff --git a/project/sbt-changeling/build.sbt b/project/sbt-changeling/build.sbt
@@ -2,7 +2,7 @@ ThisBuild / version := "0.1.0-SNAPSHOT"
 ThisBuild / organization := "systems.informal"
 
 libraryDependencies ++= Seq(
-    "org.scala-sbt" % "sbt" % "1.10.1"
+    "org.scala-sbt" % "sbt" % "1.10.2"
 )
 
 lazy val sbt_changeling = (project in file("."))

diff --git a/project/sbt-changeling/project/build.properties b/project/sbt-changeling/project/build.properties
@@ -1 +1 @@
-sbt.version=1.10.1
+sbt.version=1.10.2