Merge branch 'main' into igor/quint-generate

apalache-mc · Aug 14, 2024 · 4e48675 · 4e48675
2 parents 1988ae0 + 6ba3a45
commit 4e48675
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.9.9
+sbt.version=1.10.1
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.9.9"
+    "org.scala-sbt" % "sbt" % "1.10.1"
 )
 
 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.9.9
+sbt.version=1.10.1