Scala version to 2.13.14 / 2.12.19

dominique-unruh · Jul 8, 2024 · c3d0552 · c3d0552
1 parent 2afa806
commit c3d0552
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/build.sbt b/build.sbt
@@ -11,10 +11,10 @@ lazy val component = RootProject(file("component"))
 name := "scala-isabelle"
 version := "master-SNAPSHOT"
 
-crossScalaVersions := List("2.13.12", "2.12.18")
+crossScalaVersions := List("2.13.14", "2.12.19")
 
-scalaVersion := "2.13.12"
-//scalaVersion := "2.12.18"
+scalaVersion := "2.13.14"
+//scalaVersion := "2.12.19"
 
 Global / onChangedBuildSource := ReloadOnSourceChanges